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

/barrelfish-2018-10-04/tools/
H A Dqemu-wrapper.sh129 AWKSCRIPT='{ if (NR == 1) printf(root "/" $$0); else printf("," root "/" $$0) }'
132 AWKSCRIPT='{ if (NR == 1) printf($$0); else printf("," $$0) }'
134 INITRD=`sed -rne 's,^module(nounzip)?[ \t]*/(.*),\2,p' "$MENUFILE" | awk $AWKARGS "$AWKSCRIPT"`

Completed in 38 milliseconds