# HG changeset patch
# User wenzelm
# Date 1578759354 -3600
# Node ID f0581273bd7b3aa9774c282fa87f5b65bdbcd0aa
# Parent  462f341407b4b96aadedca0b35a48df5486d8a29
clarified fresh build;

diff -r 462f341407b4 -r f0581273bd7b src/Pure/build-jars
--- a/src/Pure/build-jars	Sat Jan 11 16:22:17 2020 +0100
+++ b/src/Pure/build-jars	Sat Jan 11 17:15:54 2020 +0100
@@ -257,24 +257,22 @@
 TARGET_DIR="$ISABELLE_HOME/lib/classes"
 TARGET="$TARGET_DIR/Pure.jar"
 
+[ -n "$FRESH" ] && rm -f "$TARGET"
+
 declare -a UPDATED=()
 
-if [ -n "$FRESH" ]; then
+if [ ! -e "$TARGET" ]; then
   OUTDATED=true
 else
   OUTDATED=false
-  if [ ! -e "$TARGET" ]; then
-    OUTDATED=true
-  else
-    for DEP in "${SOURCES[@]}"
-    do
-      [ ! -e "$DEP" ] && fail "Missing file: $DEP"
-      [ "$DEP" -nt "$TARGET" ] && {
-        OUTDATED=true
-        UPDATED["${#UPDATED[@]}"]="$DEP"
-      }
-    done
-  fi
+  for DEP in "${SOURCES[@]}"
+  do
+    [ ! -e "$DEP" ] && fail "Missing file: $DEP"
+    [ "$DEP" -nt "$TARGET" ] && {
+      OUTDATED=true
+      UPDATED["${#UPDATED[@]}"]="$DEP"
+    }
+  done
 fi
 
 if [ "$OUTDATED" = true ]