Searched refs:STAMP_DIR (Results 1 – 2 of 2) sorted by relevance
393 STAMP_DIR=$TEMP_DIR/timestamps397 mkdir -p $STAMP_DIR403 rm -f $STAMP_DIR/*471 if [ ! -f $STAMP_DIR/licenses ]; then475 touch $STAMP_DIR/licenses511 if [ ! -f $STAMP_DIR/$PKGNAME ]; then528 touch $STAMP_DIR/$PKGNAME556 echo "$STAMP_DIR/$PKGNAME"557 if [ ! -f "$STAMP_DIR/$PKGNAME" ]; then567 touch $STAMP_DIR/$PKGNAME[all …]
201 STAMP_DIR=$TEMP_DIR/timestamps