diff options
| author | Damien Doligez <damien.doligez@inria.fr> | 2016-08-01 16:06:59 +0200 |
|---|---|---|
| committer | Damien Doligez <damien.doligez@inria.fr> | 2016-08-01 16:06:59 +0200 |
| commit | 0b4fbc2b3083f2fb78713cb56a031768be2c85f2 (patch) | |
| tree | 96e44efbe3eefd0a22d21d0ccaa5c9b1491dd5f3 /otherlibs/Makefile | |
| parent | 234b8ecefc3bb8010e10472a71256506b954b58a (diff) | |
| download | ocaml-0b4fbc2b3083f2fb78713cb56a031768be2c85f2.tar.gz | |
fix whitespace, long lines, headers
Diffstat (limited to 'otherlibs/Makefile')
| -rw-r--r-- | otherlibs/Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/otherlibs/Makefile b/otherlibs/Makefile index 4dc60436c7..4758bf599e 100644 --- a/otherlibs/Makefile +++ b/otherlibs/Makefile @@ -33,7 +33,8 @@ CFLAGS=-I$(ROOTDIR)/byterun $(SHAREDCCCOMPOPTS) $(EXTRACFLAGS) # Compilation options CC=$(BYTECC) -COMPFLAGS=-absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g -safe-string -strict-sequence -strict-formats $(EXTRACAMLFLAGS) +COMPFLAGS=-absname -w +a-4-9-41-42-44-45-48 -warn-error A -bin-annot -g \ + -safe-string -strict-sequence -strict-formats $(EXTRACAMLFLAGS) ifeq "$(FLAMBDA)" "true" OPTCOMPFLAGS=-O3 else |