diff options
| author | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-07-30 14:59:23 +0000 |
|---|---|---|
| committer | Michel Mauny <Michel.Mauny@ensta.fr> | 2004-07-30 14:59:23 +0000 |
| commit | 54c1acdd1527fe021ed16a904eee459788822b45 (patch) | |
| tree | b087e3890e8d6a9d05a006035bc7f1560f64214a /camlp4 | |
| parent | bcd617cbb55604180c12fc7823875d9c80a50fcc (diff) | |
| download | ocaml-54c1acdd1527fe021ed16a904eee459788822b45.tar.gz | |
Fixed (again) camlp4 RANLIB config
git-svn-id: http://caml.inria.fr/svn/ocaml/trunk@6571 f963ae5c-01c2-4b8c-9fe0-0dff7051ff02
Diffstat (limited to 'camlp4')
| -rwxr-xr-x | camlp4/config/configure_batch | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/camlp4/config/configure_batch b/camlp4/config/configure_batch index 36d39c3b40..c5a8ec4407 100755 --- a/camlp4/config/configure_batch +++ b/camlp4/config/configure_batch @@ -70,8 +70,8 @@ echo "O=o" >> Makefile.cnf echo "A=a" >> Makefile.cnf echo "OPT=" >> Makefile.cnf echo "OTOP=$ocaml_top" >> Makefile.cnf -if test -r ../../config/auto_aux/Makefile; then - grep '^RANLIB' ../../config/auto_aux/Makefile >> Makefile.cnf +if test -r ../../config/auto-aux/Makefile; then + grep '^RANLIB' ../../config/auto-aux/Makefile >> Makefile.cnf elif test -r ../../config/Makefile; then grep '^RANLIB' ../../config/Makefile >> Makefile.cnf else |