summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
Diffstat (limited to 'dev-lang/ocaml/files/ocaml-rebuild.sh')
-rw-r--r--dev-lang/ocaml/files/ocaml-rebuild.sh5
1 files changed, 5 insertions, 0 deletions
diff --git a/dev-lang/ocaml/files/ocaml-rebuild.sh b/dev-lang/ocaml/files/ocaml-rebuild.sh
index 4871989f32c5..7dd14a4eb7d2 100644
--- a/dev-lang/ocaml/files/ocaml-rebuild.sh
+++ b/dev-lang/ocaml/files/ocaml-rebuild.sh
@@ -36,6 +36,11 @@ do
tobuildstr="\">=$category/$pkg:$slot\" $tobuildstr"
done
+if [ "$tobuild" = "" ] ; then
+ echo "Nothing to do!"
+ exit 0
+fi
+
echo Building $tobuildstr
if [ $pretend -eq 1 ]