From 54abe4941ce9b888c20f693a5b7e981f081b69c3 Mon Sep 17 00:00:00 2001 From: "Richard W.M. Jones" Date: Thu, 1 Jan 1970 00:00:00 +0000 Subject: [PATCH] Oops - accidentally left in a call to 'exit' --- extract/fedora-koji/fedora_koji_download_kernels.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/extract/fedora-koji/fedora_koji_download_kernels.ml b/extract/fedora-koji/fedora_koji_download_kernels.ml index 45afdb3..89879e4 100644 --- a/extract/fedora-koji/fedora_koji_download_kernels.ml +++ b/extract/fedora-koji/fedora_koji_download_kernels.ml @@ -288,9 +288,7 @@ let main outputdir = Failure msg -> eprintf "%s\n%!" msg (* but continue to next RPM ... *) ) - ) rpms; - - exit 2 + ) rpms ) builds let () = -- 1.8.3.1