From: Richard W.M. Jones <"Richard W.M. Jones "> Date: Tue, 5 Aug 2008 11:04:53 +0000 (+0100) Subject: Oops - accidentally left in a call to 'exit' X-Git-Url: http://git.annexia.org/?a=commitdiff_plain;h=54abe4941ce9b888c20f693a5b7e981f081b69c3;hp=546af9ab7676185bf347e3c76bc0cb16096fb39b;p=virt-mem.git Oops - accidentally left in a call to 'exit' --- 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 () =