summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-02 14:12:01 +0000
committerJacques Garrigue <garrigue at math.nagoya-u.ac.jp>2001-09-02 14:12:01 +0000
commitcd649a7003d2f6dcfc2a7bf249bbddd6f82b0a46 (patch)
tree795144a3bea1b5781b4c32b86472e64575daef3e
parent561f80d95d504a244ca5350a448249ad32abad41 (diff)
bug dans ocamlmklib
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@3688 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--tools/.cvsignore1
-rw-r--r--tools/ocamlmklib.tpl8
2 files changed, 5 insertions, 4 deletions
diff --git a/tools/.cvsignore b/tools/.cvsignore
index 94b3f391a..22d4dcef7 100644
--- a/tools/.cvsignore
+++ b/tools/.cvsignore
@@ -13,4 +13,5 @@ ocamldumpobj
keywords
lexer299.ml
ocaml299to3
+ocamlmklib
diff --git a/tools/ocamlmklib.tpl b/tools/ocamlmklib.tpl
index 8f44849af..ccfed356f 100644
--- a/tools/ocamlmklib.tpl
+++ b/tools/ocamlmklib.tpl
@@ -46,8 +46,8 @@ while :; do
c_libs="$c_libs $1"
c_libs_caml="$c_libs_caml -cclib $1";;
-L*)
- c_opts="$c_libs $1"
- c_opts_caml="$c_libs_caml -ccopt $1";;
+ c_opts="$c_opts $1"
+ c_opts_caml="$c_opts_caml -ccopt $1";;
-I)
caml_opts="$caml_opts $1 $2"
shift;;
@@ -67,9 +67,9 @@ while :; do
output_c="$2"
shift;;
-*)
- echo "Unknown option `$1', ignored" 1>&2;;
+ echo "Unknown option '$1', ignored" 1>&2;;
*)
- echo "Don't know what to do with `$1', ignored" 1>&2;;
+ echo "Don't know what to do with '$1', ignored" 1>&2;;
esac
shift
done