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

/barrelfish-2018-10-04/usr/eclipseclp/
H A DBUILD_ROTD841 # NUM_INSTALLS Number of installs
879 NUM_INSTALLS=$n
1039 [ "$NUM_INSTALLS" -ge 1 ] || return 1
1044 while [ "$n" -le "$NUM_INSTALLS" ] ; do
1956 while [ "$n" -le "$NUM_INSTALLS" ] ; do

Completed in 85 milliseconds