diff options
Diffstat (limited to 'stdlib/Compflags')
| -rwxr-xr-x | stdlib/Compflags | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/stdlib/Compflags b/stdlib/Compflags index 80bb1b667..283c7402f 100755 --- a/stdlib/Compflags +++ b/stdlib/Compflags @@ -12,8 +12,6 @@ # # ######################################################################### -# $Id$ - case $1 in pervasives.cm[iox]|pervasives.p.cmx) echo ' -nopervasives';; camlinternalOO.cmi) echo ' -nopervasives';; |