Changes by: Jason J. Hickey (jyh at cs.caltech.edu)
Date: 2008-06-30 13:53:44 -0700 (Mon, 30 Jun 2008)
Revision: 13080
Log message:
Allow osh to specify an omakedb. The function is
set-omakedb(<filename>)
Changes | Path(relative to omake-branches/jumbo/everything) |
+5 -4 | contrib/sqlite/sqlite_post.om |
+16 -11 | src/build/omake_build.ml |
+6 -0 | src/build/omake_build.mli |
+44 -0 | src/builtin/omake_builtin_file.ml |
+48 -0 | src/builtin/omake_builtin_target.ml |
+6 -3 | src/builtin/omake_builtin_target.mli |
+5 -1 | src/ir/omake_cache.ml |
+5 -0 | src/main/omake_shell.ml |