# HG changeset patch # User wenzelm # Date 994101293 -7200 # Node ID 3078f52ee55283e9351ccd673d8cd35865c938c6 # Parent e8638d07fdee6d37a9dd328782dcf9a9bf5323a7 do *not* ./configure; diff -r e8638d07fdee -r 3078f52ee552 Admin/makedist --- 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