diff --git a/GNUmakefile.postamble b/GNUmakefile.postamble index 615b96b..4fe0ae2 100644 --- a/GNUmakefile.postamble +++ b/GNUmakefile.postamble @@ -69,6 +69,7 @@ after-distclean:: config.make: config.make.in if [ -x config.status ]; then \ ./config.status --recheck; \ + touch config.make; \ else \ ./configure; \ fi