Print a message at the end of loading a Woden 2 image.

woden-engine · Feb 23, 2017 · 8f58b28 · 8f58b28
1 parent 7ef9787
commit 8f58b28
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 2 deletions.
diff --git a/loadWoden2Image32.sh b/loadWoden2Image32.sh
@@ -8,4 +8,6 @@ if test "$SOURCE_IMAGE_NAME" = ""; then
     SOURCE_IMAGE_NAME="Pharo.image"
 fi
 
-execVM $SOURCE_IMAGE_NAME st $WODEN2_SRC_TOP/scripts/LoadRepositories.st
+execVM $SOURCE_IMAGE_NAME st $WODEN2_SRC_TOP/scripts/LoadRepositories.st || exit 1
+echo "Done loading image $SOURCE_IMAGE_NAME with Woden2"
+
diff --git a/loadWoden2Image64.sh b/loadWoden2Image64.sh
@@ -8,4 +8,6 @@ if test "$SOURCE_IMAGE_NAME" = ""; then
     SOURCE_IMAGE_NAME="Pharo64.image"
 fi
 
-execVM $SOURCE_IMAGE_NAME st $WODEN2_SRC_TOP/scripts/LoadRepositories.st
+execVM $SOURCE_IMAGE_NAME st $WODEN2_SRC_TOP/scripts/LoadRepositories.st || exit 1
+echo "Done loading image $SOURCE_IMAGE_NAME with Woden2"
+