Searched refs:all_builds_succeeded (Results 1 - 1 of 1) sorted by relevance
/barrelfish-2018-10-04/usr/eclipseclp/ | ||
H A D | BUILD_ROTD | 2063 all_builds_succeeded=0 2070 all_builds_succeeded=1 2078 if [ "$all_builds_succeeded" -ne 0 ] ; then |
Completed in 34 milliseconds