]> git.saurik.com Git - bison.git/commitdiff
*** empty log message ***
authorDavid MacKenzie <djm@djmnet.org>
Fri, 30 Jul 1993 00:34:59 +0000 (00:34 +0000)
committerDavid MacKenzie <djm@djmnet.org>
Fri, 30 Jul 1993 00:34:59 +0000 (00:34 +0000)
Makefile.in

index f1885018f6c1fc3b001f24a59b969eb779e85f15..96d6419e966d6ed713ee92f722739778130c1a1f 100644 (file)
@@ -88,7 +88,7 @@ Makefile: Makefile.in config.status
        ./config.status
 
 config.status: configure
-       $(srcdir)/configure --srcdir=$(srcdir) --no-create
+       ./config.status --recheck
 
 configure: configure.in
        cd $(srcdir); autoconf