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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD232 DATE_OPTIONS=
354 DATE_OPTIONS="-D \"$DATE_TAG\""
355 elif [ -z "$DATE_OPTIONS" -a "$increment_buildnum" = no ] ; then
380 CVS tags used: ${PATCH_OPTIONS:-(main branch)} $DATE_OPTIONS
693 [ -n '$DATE_OPTIONS' ] \
701 $PATCH_OPTIONS $DATE_OPTIONS Eclipse
1195 [ -n '$DATE_OPTIONS' ] &&
1207 $PATCH_OPTIONS $DATE_OPTIONS Tests

Completed in 38 milliseconds