summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>2005-08-01 15:51:09 +0000
committerXavier Leroy <xavier.leroy@inria.fr>2005-08-01 15:51:09 +0000
commitd4d7720ca901282166fb538eaf1d6880173d3080 (patch)
treebdae49a1032b765edc3e0c378f07021ed197c208 /Makefile
parent2fb1df415663723351a3f91654f412d6e8aa74c0 (diff)
downloadocaml-d4d7720ca901282166fb538eaf1d6880173d3080.tar.gz
Revu implementation de ocamlopt -pack. Remplacement du renommage a posteriori par un renommage a priori via l'option -for-pack
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@7003 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile2
1 files changed, 0 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 182baf606e..de1b8ac605 100644
--- a/Makefile
+++ b/Makefile
@@ -334,9 +334,7 @@ utils/config.ml: utils/config.mlp config/Makefile
-e 's|%%BYTECCLIBS%%|$(BYTECCLIBS)|' \
-e 's|%%NATIVECCLIBS%%|$(NATIVECCLIBS)|' \
-e 's|%%RANLIBCMD%%|$(RANLIBCMD)|' \
- -e 's|%%BINUTILS_NM%%|$(BINUTILS_NM)|' \
-e 's|%%CC_PROFILE%%|$(CC_PROFILE)|' \
- -e 's|%%BINUTILS_OBJCOPY%%|$(BINUTILS_OBJCOPY)|' \
-e 's|%%ARCH%%|$(ARCH)|' \
-e 's|%%MODEL%%|$(MODEL)|' \
-e 's|%%SYSTEM%%|$(SYSTEM)|' \