let fedora-branch = "rawhide"
#let fedora-branch = "f34"
-let fedora-tag = "f39-build-side-69760"
+let fedora-tag = "f40-build-side-75060"
# The magic string that must appear in %changelog when the
# package has been rebuilt.
-let fedora-rebuild-name = "OCaml 5.0 rebuild for Fedora 39"
+let fedora-rebuild-name = "OCaml 5.1 rebuild for Fedora 40"
# %fedora-retry-failed:
# If set to 1 then failed builds are retried automatically.
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