X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;f=Goalfile;h=e689a21bbabe7cee2b307625743bb746c966bab0;hb=e192328396b78f8d292507bf45004bb4890e89fd;hp=4c18a327c36d6eb6fc6419233a14e9bcc584c2ab;hpb=87cfd2eaa3f190373d48baf4c4b706be99df2348;p=fedora-ocaml-rebuild.git

diff --git a/Goalfile b/Goalfile
index 4c18a32..e689a21 100644
--- a/Goalfile
+++ b/Goalfile
@@ -241,7 +241,8 @@ pure function get-source-packages () returning strings = {
         elif [ -f $pkg/%fedora-branch/dead.package ]; then
             echo "WARNING: $pkg: is a dead package, ignored" >&2
         else
-            echo "$pkg: package is not checked out locally" >&2
+            echo "ERROR: $pkg: package is not checked out locally" >&2
+            # This does NOT exit the script, why???
             exit 1
         fi
     done