diff --git a/scripts/build-images b/scripts/build-images
index 416e0bd..c0efa36 100755
--- a/scripts/build-images
+++ b/scripts/build-images
@@ -24,6 +24,10 @@ EOM
 docker tag ${CONTAINER}:agama-${AGAMA_VERSION} ${CONTAINER}
 docker tag ${CONTAINER}:agama-${AGAMA_VERSION} ${REPO_URL}/${CONTAINER}:devel
 docker push ${REPO_URL}/${CONTAINER}:devel
+rc=$?
+if [ $rc -ne 0]; then
+  exit 1
+fi
 
 cat << EOM
 This image was pushed to the devel tag