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

/barrelfish-master/usr/eclipseclp/
H A DBUILD_ROTD1615 LOCAL_VERSION_FILE="$LOCAL_PREFIX/$BUILD_DIR/$VERSION_FILE"
1616 OLD_BUILD=`grep sepia_build < "$LOCAL_VERSION_FILE" | tr -cd 0123456789` &&
1618 sed "s/sepia_build(.*)/sepia_build($NEW_BUILD)/" "$LOCAL_VERSION_FILE" \
1619 > "$LOCAL_VERSION_FILE.new" &&
1620 mv "$LOCAL_VERSION_FILE.new" "$LOCAL_VERSION_FILE" &&
1621 chmod a+r,ug+w "$LOCAL_VERSION_FILE" &&

Completed in 51 milliseconds