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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD2223 have_new_version=yes
2233 if [ "$have_new_version" = yes ] ; then
2246 if [ "$everything_ok" = 0 -a "$have_new_version" = yes ] ; then
2264 \( "$have_new_version" = yes -o "$last_successful" = yes \) ]; then

Completed in 34 milliseconds