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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD239 resume_build=no
299 resume_build=yes ;;
396 if [ "$resume_build" = "yes" ] ; then

Completed in 34 milliseconds