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

/barrelfish-2018-10-04/usr/eclipseclp/
H A DBUILD_ROTD373 ABORT_FLAG=$LOCAL_PREFIX/$ROTD_SUBDIR/abort
607 elif [ -e "$ABORT_FLAG" ] ; then
608 echo "$ABORT_FLAG found, aborting prematurely"
1418 if [ -e "$ABORT_FLAG" ] ; then
1419 echo "$ABORT_FLAG found, aborting prematurely"
1969 rm -f $ABORT_FLAG

Completed in 95 milliseconds