summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2015-08-25 14:15:54 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2015-08-25 14:15:54 +0000
commitee9d50e899f98283620db5693f6e43a340422756 (patch)
tree47a8d100327d0ecc2049d67f3b2b0379cd872104
parent4ee74721a6b600f8405091ee952245bef1492e9d (diff)
downloadocaml-cc-optim.tar.gz
asmrun/Makefile: Remove hard-wired '-O' optionscc-optim
configure: uninitialized variable $nativeccprofopts git-svn-id: http://caml.inria.fr/svn/ocaml/branches/cc-optim@16377 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--asmrun/Makefile4
-rwxr-xr-xconfigure1
2 files changed, 3 insertions, 2 deletions
diff --git a/asmrun/Makefile b/asmrun/Makefile
index e549edbd2e..c70a4ed05a 100644
--- a/asmrun/Makefile
+++ b/asmrun/Makefile
@@ -18,8 +18,8 @@ FLAGS=-I../byterun -DCAML_NAME_SPACE -DNATIVE_CODE \
-DTARGET_$(ARCH) -DMODEL_$(MODEL) -DSYS_$(SYSTEM) $(IFLEXDIR)
CFLAGS=$(FLAGS) $(NATIVECCCOMPOPTS)
DFLAGS=$(FLAGS) -g -DDEBUG $(NATIVECCCOMPOPTS)
-PFLAGS=$(FLAGS) -pg -O -DPROFILING $(NATIVECCPROFOPTS)
-PICFLAGS=$(FLAGS) -O $(SHAREDCCCOMPOPTS) $(NATIVECCCOMPOPTS)
+PFLAGS=$(FLAGS) -pg -DPROFILING $(NATIVECCPROFOPTS) $(NATIVECCCOMPOPTS)
+PICFLAGS=$(FLAGS) $(SHAREDCCCOMPOPTS) $(NATIVECCCOMPOPTS)
COBJS=startup_aux.o startup.o \
main.o fail.o roots.o globroots.o signals.o signals_asm.o \
diff --git a/configure b/configure
index cc46c79221..2dcf38a7ef 100755
--- a/configure
+++ b/configure
@@ -851,6 +851,7 @@ else
fi
nativecccompopts="$bytecccompopts"
+nativeccprofopts=''
nativecclinkopts=''
# FIXME the naming of nativecclinkopts is broken: these are options for
# ld (for shared libs), not for cc