Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
more robust check -- do not rely on return code;
authorwenzelm
Sat, 03 Mar 2018 21:39:24 +0100
changeset 67761 c07bc12d89f2
parent 67760 553d9ad7d679
child 67762 8b61174a3aa2
more robust check -- do not rely on return code;
Admin/lib/Tools/makedist_bundle file | annotate | diff | comparison | revisions 
--- a/Admin/lib/Tools/makedist_bundle	Sat Mar 03 21:38:27 2018 +0100
+++ b/Admin/lib/Tools/makedist_bundle	Sat Mar 03 21:39:24 2018 +0100
@@ -398,8 +398,9 @@
   windows)
     (
       cd "$TMP"
-      rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
-      7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
+      rm -f "$TMP/${ISABELLE_NAME}.7z"
+      7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME"
+      [ -f "$TMP/${ISABELLE_NAME}.7z" ] || exit 2
 
       echo "application for $PLATFORM_FAMILY"
       (
isabelle