equal
deleted
inserted
replaced
396 ) |
396 ) |
397 ;; |
397 ;; |
398 windows) |
398 windows) |
399 ( |
399 ( |
400 cd "$TMP" |
400 cd "$TMP" |
401 rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z" |
401 rm -f "$TMP/${ISABELLE_NAME}.7z" |
402 7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2 |
402 7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" |
|
403 [ -f "$TMP/${ISABELLE_NAME}.7z" ] || exit 2 |
403 |
404 |
404 echo "application for $PLATFORM_FAMILY" |
405 echo "application for $PLATFORM_FAMILY" |
405 ( |
406 ( |
406 cat "windows_app/7zsd_All.sfx" |
407 cat "windows_app/7zsd_All.sfx" |
407 cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \ |
408 cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \ |