diff options
| author | Guido van Rossum <guido@python.org> | 1995-01-12 12:26:50 (GMT) |
|---|---|---|
| committer | Guido van Rossum <guido@python.org> | 1995-01-12 12:26:50 (GMT) |
| commit | fb00a99e6cf2020f97da32f6adae26746951ca68 (patch) | |
| tree | cb52f5244ce69ab169d806c6ad7e821c69353f83 | |
| parent | 79dddcbd13c87889b89b1a82ce40b39cbe47c52a (diff) | |
| download | cpython-fb00a99e6cf2020f97da32f6adae26746951ca68.zip cpython-fb00a99e6cf2020f97da32f6adae26746951ca68.tar.gz cpython-fb00a99e6cf2020f97da32f6adae26746951ca68.tar.bz2 | |
run config.status after recheck
| -rw-r--r-- | Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Makefile.in b/Makefile.in index e64345d..4a97f91 100644 --- a/Makefile.in +++ b/Makefile.in @@ -174,6 +174,7 @@ Makefile: Makefile.in config.status config.status: $(srcdir)/configure if test -f config.status; \ then $(SHELL) config.status --recheck; \ + $(SHELL) config.status; \ else $(SHELL) $(srcdir)/configure $(WITH); \ fi |