Home
last modified time | relevance | path

Searched refs:infile (Results 1 – 3 of 3) sorted by relevance

/sqlite-3.40.0/ext/wasm/
H A Dsplit-speedtest1-script.sh4 infile=${1:?arg = speedtest1 --script output file}
5 testnums=$(grep -e '^-- begin test' "$infile" | cut -d' ' -f4)
7 echo "Could not parse any begin/end blocks out of $infile" 1>&2
10 odir=${infile%%/*}
11 if [ "$odir" = "$infile" ]; then odir="."; fi
15 sed -n -e "/^-- begin test $n /,/^-- end test $n\$/p" $infile > $ofile
H A Dbatch-runner.js307 const infile = 'batch-runner.list';
308 this.logHtml("Loading list of SQL files:", infile);
311 const r = await fetch(infile);
313 toss("Missing file '"+infile+"'.");
315 if(!r.ok) toss("Loading",infile,"failed:",r.statusText);
342 this.logHtml("Loaded",infile);
/sqlite-3.40.0/tool/
H A Dmkccode.tcl44 set infile [lindex $argv 0]
46 set HOME [file normalize [file dir $infile]]
47 set in [open $infile rb]
50 ** This file was generated by \"$argv0 $infile\".
51 ** To make changes, edit $infile then rerun the generator