X-Git-Url: http://git.annexia.org/?p=whenjobs.git;a=blobdiff_plain;f=tools%2Fwhenjobs.ml;h=84726722d9a7f18fa6c0e64cd67718e26b6a9607;hp=f8a0659b323239203d55ac3c393d2185d6d117dc;hb=acb316417965e2b40010aeb35f8ff990db0d1d42;hpb=2701d3a832514ee94d110dfbd4f46f2ab6d9637e diff --git a/tools/whenjobs.ml b/tools/whenjobs.ml index f8a0659..8472672 100644 --- a/tools/whenjobs.ml +++ b/tools/whenjobs.ml @@ -20,6 +20,9 @@ open Big_int open Unix open Printf +(* Ensures that Whentools module is linked to the whenjobs tool. *) +let _ = Whentools.set_variable + let libdir = ref Libdir.libdir let jobsdir = @@ -249,7 +252,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