summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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