Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
do *not* ./configure;
authorwenzelm
Mon, 02 Jul 2001 21:14:53 +0200
changeset 11392 3078f52ee552
parent 11391 e8638d07fdee
child 11393 ee3d40b5ac23
do *not* ./configure;
Admin/makedist file | annotate | diff | comparison | revisions 
--- a/Admin/makedist	Mon Jul 02 21:02:16 2001 +0200
+++ b/Admin/makedist	Mon Jul 02 21:14:53 2001 +0200
@@ -186,8 +186,6 @@
 
 ( cd src; ../Admin/maketags; )
 
-( env BASH_PATH=/bin/bash PERL_PATH=/usr/bin/perl ./configure )
-
 rm -rf Admin
isabelle