-l/--goals option should exit after listing goals.
authorRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:31:59 +0000 (12:31 +0100)
committerRichard W.M. Jones <rjones@redhat.com>
Tue, 17 Sep 2013 11:38:01 +0000 (12:38 +0100)
goaljobs.ml

index 0d6f56b..d62a3d9 100644 (file)
@@ -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 [