summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorXavier Leroy <xavier.leroy@inria.fr>1999-02-12 16:27:59 +0000
committerXavier Leroy <xavier.leroy@inria.fr>1999-02-12 16:27:59 +0000
commitd118353bf37143d32a19a544319e184149dc08e7 (patch)
treecf07a17e7b3f4443d29dcf9f14eaf2e18d940323
parent05b366f1057f61b5644a98767c63ce8fe359bbb5 (diff)
Bug dans la generation de primitives
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@2276 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
-rw-r--r--byterun/Makefile.nt2
1 files changed, 1 insertions, 1 deletions
diff --git a/byterun/Makefile.nt b/byterun/Makefile.nt
index 5dcb21ad0..cb7203160 100644
--- a/byterun/Makefile.nt
+++ b/byterun/Makefile.nt
@@ -41,7 +41,7 @@ clean:
rm -f primitives prims.c opnames.h jumptbl.h
primitives : $(PRIMS)
- sed -n -e "/\/\* ML \*\//s/.* \([a-z0-9_]*\) *(.*/\1/p" \
+ sed -n -e "/\/\* ML \*\//s/.* \([a-z0-9_][a-z0-9_]*\) *(.*/\1/p" \
$(PRIMS) > primitives
prims.c : primitives