Home
last modified time | relevance | path

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

/picolibc-latest/scripts/
Drun-arm288 input_file=`mktemp`
290 echo "$input" > "$input_file"
301 "$@" < $input_file