diff options
Diffstat (limited to 'OMakeroot')
| -rw-r--r-- | OMakeroot | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/OMakeroot b/OMakeroot new file mode 100644 index 0000000..be8d4b6 --- /dev/null +++ b/OMakeroot @@ -0,0 +1,12 @@ +open build/OCaml + +# +# The command-line variables are defined *after* the +# standard configuration has been loaded. +# +#DefineCommandVars() + +# +# Include the OMakefile in this directory. +# +.SUBDIRS: . |