git.annexia.org
/
fedora-ocaml-rebuild.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Note about why dependency calculations were broken
[fedora-ocaml-rebuild.git]
/
Goalfile
diff --git
a/Goalfile
b/Goalfile
index
4c18a32
..
e689a21
100644
(file)
--- 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
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
exit 1
fi
done