Searched refs:zahlen (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/usr/skb/programs/
H A Dalgos_systems77 zahlen=$(sed -r -e '/^res.*/!d' -e 's/res[\t]//' -e 's/\n//g' tmp.out.dat)
78 echo "$zahlen" >> $OUTFILE
116 zahlen=$(sed -r -e '/^res.*/!d' -e 's/res[\t]//' -e 's/\n//g' tmp.out.dat)
117 echo "$zahlen" >> $OUTFILE
H A Dmore_space_feasible125 zahlen=$(sed -r -e '/^res.*/!d' -e 's/res[\t]//' -e 's/\n//g' tmp.out.dat)
132 echo "$zahlen $b" >> $OUTFILE

Completed in 81 milliseconds