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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD227 PATCH_OPTIONS=
352 PATCH_OPTIONS="-r \"$PATCH_TAG\""
358 PATCH_OPTIONS="-r \"$PATCH_TAG\""
380 CVS tags used: ${PATCH_OPTIONS:-(main branch)} $DATE_OPTIONS
690 [ -n \"$PATCH_OPTIONS\" ] \
701 $PATCH_OPTIONS $DATE_OPTIONS Eclipse
1192 [ -n \"$PATCH_OPTIONS\" ] &&
1207 $PATCH_OPTIONS $DATE_OPTIONS Tests
1643 cvs -d \"$CVSDIR\" update -A $PATCH_OPTIONS \

Completed in 35 milliseconds