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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD350 PATCH_TAG=$BRANCH_TAG
351 if [ -n "$PATCH_TAG" ] ; then
352 PATCH_OPTIONS="-r \"$PATCH_TAG\""
357 PATCH_TAG=$LAST_SUCCESSFUL_BUILD_TAG
358 PATCH_OPTIONS="-r \"$PATCH_TAG\""
691 && echo \"Using version from repository with tag $PATCH_TAG\" \
1193 echo \"Using version from repository with tag $PATCH_TAG\" \

Completed in 81 milliseconds