diff options
| author | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-16 20:32:17 +0200 |
|---|---|---|
| committer | Philipp Gesang <phg42.2a@gmail.com> | 2014-05-16 20:32:17 +0200 |
| commit | 94aa3d0f8c4c480ad67045f12d33b0f7813868e6 (patch) | |
| tree | aca2510cac066d9947809e4a7b13efa7a77772eb /OMakeroot | |
| download | context-mirror-bot-94aa3d0f8c4c480ad67045f12d33b0f7813868e6.tar.gz | |
initial
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: . |