Changes by: Jason Hickey (jyh at cs.caltech.edu)
Date: 2006-04-03 15:09:48 -0700 (Mon, 03 Apr 2006)
Revision: 9011
Log message:

      Periodically save the .omakedb.
      
      I finally had to implement this because Win32 has no signals.
      Cygwin does a hard termination on ^C, so omake doesn't get
      a chance to clean up.
      

Changes  Path
+3 -5 omake-branches/0.9.6.shell/OMakefile
+1 -1 omake-branches/0.9.6.shell/lib/configure/fam.om
+8 -2 omake-branches/0.9.6.shell/src/Makefile
+8 -2 omake-branches/0.9.6.shell/src/Makefile.nt
+192 -180 omake-branches/0.9.6.shell/src/build/omake_build.ml
+4 -0 omake-branches/0.9.6.shell/src/clib/OMakefile
+40 -8 omake-branches/0.9.6.shell/src/exec/omake_exec_print.ml
+4 -0 omake-branches/0.9.6.shell/src/exec/omake_exec_print.mli