diff options
| author | Xavier Leroy <xavier.leroy@inria.fr> | 2004-07-13 12:25:21 +0000 |
|---|---|---|
| committer | Xavier Leroy <xavier.leroy@inria.fr> | 2004-07-13 12:25:21 +0000 |
| commit | 63c1789b5edb177db6f5c0ae351815c584562cab (patch) | |
| tree | 7fede3c61f74a6a228cffb11499ae6b222b0b67d /stdlib/Compflags | |
| parent | 237006931a8e0e1aa292b93c14a1ab60d4138d53 (diff) | |
Fusion des modifs faites sur la branche release jusqu'a la release 3.08.0
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6553 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'stdlib/Compflags')
| -rwxr-xr-x | stdlib/Compflags | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags index e263fbcf2..697f38dca 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -15,12 +15,12 @@ # $Id$ case $1 in - pervasives.cm[iox]|pervasives.p.cmx) echo '-nopervasives';; - camlinternalOO.cmi) echo '-nopervasives';; - camlinternalOO.cmx|camlinternalOO.p.cmx) echo '-inline 0';; - arrayLabels.cm[ox]|arrayLabels.p.cmx) echo '-nolabels';; - listLabels.cm[ox]|listLabels.p.cmx) echo '-nolabels';; - stringLabels.cm[ox]|stringLabels.p.cmx) echo '-nolabels';; - moreLabels.cm[ox]|moreLabels.p.cmx) echo '-nolabels';; - *) echo '';; + pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives';; + camlinternalOO.cmi) echo ' -nopervasives';; + camlinternalOO.cmx|camlinternalOO.p.cmx) echo ' -inline 0';; + arrayLabels.cm[ox]|arrayLabels.p.cmx) echo ' -nolabels';; + listLabels.cm[ox]|listLabels.p.cmx) echo ' -nolabels';; + stringLabels.cm[ox]|stringLabels.p.cmx) echo ' -nolabels';; + moreLabels.cm[ox]|moreLabels.p.cmx) echo ' -nolabels';; + *) echo ' ';; esac |