From 7f260be16fe00cab54973a3169c620f1b60ff9f9 Mon Sep 17 00:00:00 2001
From: "Richard W.M. Jones" <rjones@redhat.com>
Date: Tue, 17 Sep 2013 12:31:59 +0100
Subject: [PATCH] -l/--goals option should exit after listing goals.

---
 goaljobs.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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 [
-- 
1.8.3.1