-l/--goals option should exit after listing goals.

diff --git a/goaljobs.ml b/goaljobs.ml
index 0d6f56b..d62a3d9 100644 (file)
--- a/goaljobs.ml
+++ b/goaljobs.ml
@@ -312,7 +312,8 @@ let init () =
     let names = !published_goals in
     let names = List.map fst names in
     let names = List.sort compare names in
-    List.iter print_endline names
+    List.iter print_endline names;
+    exit 0
   in
 
   let argspec = Arg.align [