diff --git a/loadWoden2Image32.sh b/loadWoden2Image32.sh index 77689c0f..42aabaa2 100755 --- 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 index 22b7a4a3..e686f705 100755 --- 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" +