From 46e316638a733ddf8658964406148209146bfcd2 Mon Sep 17 00:00:00 2001
From: Daniel de Rauglaudre <daniel.de_rauglaudre@inria.fr>
Date: Fri, 7 Sep 2001 11:39:20 +0000
Subject: -

git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3714 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
---
 camlp4/Makefile                    | 2 +-
 camlp4/ocaml_src/tools/ocamlopt.sh | 8 ++++++++
 2 files changed, 9 insertions(+), 1 deletion(-)
 create mode 100755 camlp4/ocaml_src/tools/ocamlopt.sh

(limited to 'camlp4')

diff --git a/camlp4/Makefile b/camlp4/Makefile
index c8f863024..521ae6e01 100644
--- a/camlp4/Makefile
+++ b/camlp4/Makefile
@@ -123,7 +123,7 @@ bootstrap_sources:
 		 sed 's/# $$Id.*\$$/# Id/' ../../$$i/Makefile | \
 		 sed 's-include ../config-include ../../config-g' | \
 		 sed 's-../boot-../../boot-g' > Makefile; \
-		 cp ../../$$i/.depend .; \
+		 cp ../../$$i/.depend .); \
 	 done
 	@-for i in $(FDIRS); do \
 		for j in $$i/*.ml*; do \
diff --git a/camlp4/ocaml_src/tools/ocamlopt.sh b/camlp4/ocaml_src/tools/ocamlopt.sh
new file mode 100755
index 000000000..52946726d
--- /dev/null
+++ b/camlp4/ocaml_src/tools/ocamlopt.sh
@@ -0,0 +1,8 @@
+#!/bin/sh -e
+if test "`basename $OTOP`" != "ocaml_stuff"; then
+    COMM="$OTOP/boot/ocamlrun $OTOP/ocamlopt -I $OTOP/stdlib"
+else
+    COMM=ocamlopt$OPT
+fi
+echo $COMM $*
+$COMM $*
-- 
cgit v1.2.3-70-g09d2