diff --git a/GNUmakefile.postamble b/GNUmakefile.postamble index e7ee36b..615b96b 100644 --- a/GNUmakefile.postamble +++ b/GNUmakefile.postamble @@ -67,5 +67,9 @@ after-distclean:: # after-check:: config.make: config.make.in - ./configure + if [ -x config.status ]; then \ + ./config.status --recheck; \ + else \ + ./configure; \ + fi