src/Pure/build-jars
changeset 71374 7832d912d950
parent 71367 91d5a8255c98
child 71375 5ccf60c1f47c
equal deleted inserted replaced
71373:201486ced92d 71374:7832d912d950
   256 
   256 
   257 TARGET_DIR="lib/classes"
   257 TARGET_DIR="lib/classes"
   258 TARGET_JAR="$TARGET_DIR/Pure.jar"
   258 TARGET_JAR="$TARGET_DIR/Pure.jar"
   259 TARGET_SHASUM="$TARGET_DIR/Pure.shasum"
   259 TARGET_SHASUM="$TARGET_DIR/Pure.shasum"
   260 
   260 
       
   261 function target_shasum()
       
   262 {
       
   263   shasum -a1 -b "$TARGET_JAR" "${SOURCES[@]}" 2>/dev/null
       
   264 }
       
   265 
   261 function target_clean()
   266 function target_clean()
   262 {
   267 {
   263   rm -rf "$TARGET_DIR"
   268   rm -rf "$TARGET_DIR"
   264 }
       
   265 
       
   266 function target_shasum()
       
   267 {
       
   268   shasum -a1 -b "$TARGET_JAR" "${SOURCES[@]}" 2>/dev/null
       
   269 }
   269 }
   270 
   270 
   271 [ -n "$FRESH" ] && target_clean
   271 [ -n "$FRESH" ] && target_clean
   272 
   272 
   273 
   273