summaryrefslogtreecommitdiff
path: root/configure
diff options
context:
space:
mode:
authorSébastien Hinderer <Sebastien.Hinderer@inria.fr>2016-11-10 16:17:39 +0100
committerSébastien Hinderer <Sebastien.Hinderer@inria.fr>2016-11-10 16:17:39 +0100
commit4fc73c6333b7b20d52ea6aedccc7d1b1c5386b98 (patch)
tree6ea46f5645866bc16d72d4af76cfcb6ddde4be76 /configure
parent2847cb8f1793539f3c1a6dc58c6807a92135df0a (diff)
downloadocaml-4fc73c6333b7b20d52ea6aedccc7d1b1c5386b98.tar.gz
Remove unused variable from the build system
The DLLCCCOMPOPTS variable is defined in the makefiles but is not actually used anywhere.
Diffstat (limited to 'configure')
-rwxr-xr-xconfigure3
1 files changed, 0 insertions, 3 deletions
diff --git a/configure b/configure
index 8e5e7baf96..c4f757f9d8 100755
--- a/configure
+++ b/configure
@@ -333,7 +333,6 @@ mkexe="\$(BYTECC)"
mkexedebugflag="-g"
bytecccompopts=""
bytecclinkopts=""
-dllccompopts=""
ostype="Unix"
exe=""
iflexdir=""
@@ -432,7 +431,6 @@ case "$bytecc,$target" in
*) err "unknown cygwin variant";;
esac
bytecccompopts="$bytecccompopts -U_WIN32"
- dllccompopts="-U_WIN32 -DCAML_DLL"
if test $with_sharedlibs = yes; then
flexlink="flexlink -chain $flavor -merge-manifest -stack 16777216"
flexdir=`$flexlink -where | tr -d '\015'`
@@ -1963,7 +1961,6 @@ echo "SYSTHREAD_SUPPORT=$systhread_support" >> Makefile
echo "PARTIALLD=$partialld" >> Makefile
echo "PACKLD=\$(PARTIALLD) \$(NATIVECCLINKOPTS) -o " \
| sed -e 's/ $/\\ /' >> Makefile
-echo "DLLCCCOMPOPTS=$dllccompopts" >> Makefile
echo "IFLEXDIR=$iflexdir" >> Makefile
echo "O=o" >> Makefile
echo "A=a" >> Makefile