diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-14 15:29:05 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 1998-04-14 15:29:05 +0000 |
| commit | 43fae6f219f7ad44b29e12f7b10f0c238a5872c8 (patch) | |
| tree | 9baa7537d7ba96868c53025c52cfd8b41ccd9216 | |
| parent | fd8ea5980720ab1a53f5c732ef3211367b233823 (diff) | |
Ajout des options -make_runtime et -use_runtime
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@1921 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
| -rw-r--r-- | stdlib/sharpbang | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/stdlib/sharpbang b/stdlib/sharpbang new file mode 100644 index 000000000..7a6e2fdca --- /dev/null +++ b/stdlib/sharpbang @@ -0,0 +1 @@ +#!
\ No newline at end of file |