summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-30 16:27:21 +0200
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2017-03-30 16:27:21 +0200
commitdc3038ced643ceafbad046643186aa60ecab8c8c (patch)
tree4a7eeeb5011dbe01ed7f4b9a7ce0d25a2cae122a /configure
parenta198730fdecd31fcaeb4998ebe29f4e93e81927f (diff)
downloadocaml-dc3038ced643ceafbad046643186aa60ecab8c8c.tar.gz
Adjust C compiler invocation
This commit is a follow-up to PR#1114. It ensures that C compilers other than msvc are called with a space between the -o option and its object or executabe file argument.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure5
1 files changed, 3 insertions, 2 deletions
diff --git a/configure b/configure
index 551ed7d3be..67896e4fc7 100755
--- a/configure
+++ b/configure
@@ -1973,7 +1973,8 @@ echo "BYTECCLIBS=$cclibs $dllib $curseslibs $pthread_link \
$instrumented_runtime_libs" >> Makefile
echo "RPATH=$rpath" >> Makefile
echo "EXE=$exe" >> Makefile
-echo "OUTPUTEXE=-o" >> Makefile
+echo "EMPTY=" >> Makefile
+echo "OUTPUTEXE=-o \$(EMPTY)" >> Makefile
echo "SUPPORTS_SHARED_LIBRARIES=$shared_libraries_supported" >> Makefile
echo "SHAREDCCCOMPOPTS=$sharedcccompopts" >> Makefile
echo "MKSHAREDLIBRPATH=$mksharedlibrpath" >> Makefile
@@ -2009,7 +2010,7 @@ echo "O=o" >> Makefile
echo "A=a" >> Makefile
echo "SO=$SO" >> Makefile
echo "EXT_OBJ=.o" >> Makefile
-echo "OUTPUTOBJ=-o" >> Makefile
+echo "OUTPUTOBJ=-o \$(EMPTY)" >> Makefile
echo "EXT_ASM=.s" >> Makefile
echo "EXT_LIB=.a" >> Makefile
echo "EXT_DLL=.$SO" >> Makefile