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

/seL4-l4v-10.1.1/HOL4/polyml/
H A Dinstall-sh344 test_tmpdir="$tmpdir/a"
345 ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
351 $mkdirprog -m$different_mode -p -- "$test_tmpdir" && {
352 ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dinstall-sh344 test_tmpdir="$tmpdir/a"
345 ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
351 $mkdirprog -m$different_mode -p -- "$test_tmpdir" && {
352 ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`

Completed in 37 milliseconds