From: Richard W.M. Jones <rjones@redhat.com>
Date: Tue, 17 Sep 2013 11:31:59 +0000 (+0100)
Subject: -l/--goals option should exit after listing goals.
X-Git-Tag: 0.2~30
X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=7f260be16fe00cab54973a3169c620f1b60ff9f9;p=goaljobs.git

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

diff --git a/goaljobs.ml b/goaljobs.ml
index 0d6f56b..d62a3d9 100644
--- 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 [