X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=tools%2Fwhenjobs.ml;h=3383c9131004277c950e42f4414c7e920c510d22;hp=f8a0659b323239203d55ac3c393d2185d6d117dc;hb=438813bcf327729f9dafc1a56c6cede550435e2e;hpb=2701d3a832514ee94d110dfbd4f46f2ab6d9637e diff --git a/tools/whenjobs.ml b/tools/whenjobs.ml index f8a0659..3383c91 100644 --- a/tools/whenjobs.ml +++ b/tools/whenjobs.ml @@ -249,7 +249,7 @@ and upload_file () = ); (* Test-load the jobs file to ensure it makes sense. *) - Whenfile.init (); + Whenfile.init Whenstate.empty; (try Dynlink.loadfile cmo_file with