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

/seL4-l4v-master/HOL4/polyml/
H A Dinstall-sh260 # Waiting for this to be detected by the "$cpprog $src $dsttmp" command
262 # if $src (and thus $dsttmp) contains '*'.
437 dsttmp=$dstdir/_inst.$$_
441 trap 'ret=$?; rm -f "$dsttmp" "$rmtmp" && exit $ret' 0
444 (umask $cp_umask && $doit_exec $cpprog "$src" "$dsttmp") &&
450 # errors from the above "$doit $cpprog $src $dsttmp" command.
452 { test -z "$chowncmd" || $doit $chowncmd "$dsttmp"; } &&
453 { test -z "$chgrpcmd" || $doit $chgrpcmd "$dsttmp"; } &&
454 { test -z "$stripcmd" || $doit $stripcmd "$dsttmp"; } &&
455 { test -z "$chmodcmd" || $doit $chmodcmd $mode "$dsttmp"; }
[all...]

Completed in 76 milliseconds