Searched refs:TMPOBJFILE (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-10.1.1/HOL4/polyml/ | ||
H A D | polyc.in | 34 TMPOBJFILE="${TEMPORARYDIR}/polyobj.$$.$SUFFIX" 35 trap 'rm -f "$TMPOBJFILE"' 0 123 compile "$sourcefile" "$TMPOBJFILE" && link "$TMPOBJFILE" "$outputfile" |
Completed in 78 milliseconds