diff --git a/GNUmakefile.postamble b/GNUmakefile.postamble index 4fe0ae2..1949eb3 100644 --- a/GNUmakefile.postamble +++ b/GNUmakefile.postamble @@ -66,10 +66,9 @@ after-distclean:: # Things to do after checking # after-check:: -config.make: config.make.in +config.make: config.status if [ -x config.status ]; then \ ./config.status --recheck; \ - touch config.make; \ else \ ./configure; \ fi