Searched refs:SCRIPT (Results 1 – 7 of 7) sorted by relevance
296 local SCRIPT="$1"297 local SCRIPT_NAME="`basename $SCRIPT`"305 echo "### COMMAND: awk -f \"$SCRIPT\" $@ < \"$INPUT\" > \"$OUTPUT\""307 awk -f "$SCRIPT" $@ < "$INPUT" > "$OUTPUT"308 fail_panic "Can't run awk script: $SCRIPT"334 local SCRIPT="$ROOTDIR/build/awk/$SCRIPT_NAME.awk"337 if [ ! -f "$SCRIPT" ]; then338 echo "Awk script: $SCRIPT_NAME: Missing script: $SCRIPT"347 run_awk_test "$SCRIPT" "$INPUT" "$OUTPUT"
201 SCRIPT=206 SCRIPT=run.sh210 SCRIPT=run-$ABI.sh377 run cd "$BUILD_DIR" && run_script $SCRIPT
245 " -e SCRIPT, --expression=SCRIPT\n"246 " dit SCRIPT toevoegen aan de uit te voeren opdrachten\n"
132 echo "WARNING: WARNING: WARNING: THIS SCRIPT PROBABLY ONLY WORKS ON LINUX!!"
120 sed SCRIPT INPUTFILE...124 sed OPTIONS... [SCRIPT] [INPUTFILE...]127 filters the contents of the standard input. The SCRIPT is actually the151 `-e SCRIPT'152 `--expression=SCRIPT'153 Add the commands in SCRIPT to the set of commands to be run while156 `-f SCRIPT-FILE'157 `--file=SCRIPT-FILE'158 Add the commands contained in the file SCRIPT-FILE to the set of251 line is taken to be the SCRIPT to be executed.[all …]
173 sed SCRIPT INPUTFILE...179 sed OPTIONS... [SCRIPT] [INPUTFILE...]
174 sed SCRIPT INPUTFILE...180 sed OPTIONS... [SCRIPT] [INPUTFILE...]