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