X-Git-Url: http://git.annexia.org/?a=blobdiff_plain;ds=sidebyside;f=tools%2Fwhenjobs.ml;h=3383c9131004277c950e42f4414c7e920c510d22;hb=108dd86b36e82df2a2029dbd12700f9c83e501c1;hp=f8a0659b323239203d55ac3c393d2185d6d117dc;hpb=ebe6d6b9e63f444d4f257d7fad4439a62267e48f;p=whenjobs.git 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