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

/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dcompile316 lockdir=`echo "$cofile" | sed -e 's|[/\\:.-]|_|g'`.d
318 if mkdir "$lockdir" >/dev/null 2>&1; then
324 trap "rmdir '$lockdir'; exit 1" 1 2 15
336 rmdir "$lockdir"
H A Ddepcomp384 lockdir=$base.d-lock
387 rmdir '$lockdir'
394 if mkdir "$lockdir" 2>/dev/null; then
399 rmdir "$lockdir"
404 while test -d "$lockdir" && test $i -gt 0; do
414 echo "$0: check lockdir '$lockdir'" >&2
/seL4-l4v-10.1.1/HOL4/polyml/
H A Ddepcomp384 lockdir=$base.d-lock
387 rmdir '$lockdir'
394 if mkdir "$lockdir" 2>/dev/null; then
399 rmdir "$lockdir"
404 while test -d "$lockdir" && test $i -gt 0; do
414 echo "$0: check lockdir '$lockdir'" >&2

Completed in 60 milliseconds