Changes by: Aleksey Nogin (nogin at cs.caltech.edu)
Date: 2006-06-06 16:45:34 -0700 (Tue, 06 Jun 2006)
Revision: 9261
Log message:

      Make the .omakedb save interval configurable (both the compiled-in default via
      a .config option and the run-time value via the command-line flag). Also, a 0
      (or negative) value disables the intermediate .omakedb dumps altogether.
      

Changes  Path
+1 -0 omake-branches/0.9.8.x/mk/defaults
+7 -1 omake-branches/0.9.8.x/mk/make_config
+5 -5 omake-branches/0.9.8.x/src/build/omake_build.ml
+4 -0 omake-branches/0.9.8.x/src/build/omake_build.mli
+1 -1 omake-branches/0.9.8.x/src/magic/OMakefile
+4 -0 omake-branches/0.9.8.x/src/magic/omake_gen_magic.ml
+5 -5 omake-branches/0.9.8.x/src/main/omake_main.ml