diff --git a/GNUmakefile.postamble b/GNUmakefile.postamble
index c70aed06c..9ac1fe133 100644
--- a/GNUmakefile.postamble
+++ b/GNUmakefile.postamble
@@ -78,10 +78,18 @@ after-distclean::
 	rm -f config.status config.log config.cache TAGS config.make gui.make
 
 gui.make: gui.make.in Version configure
-	./configure
+	if [ -x config.status ]; then \
+	  ./config.status --recheck; \
+	else \
+	  ./configure; \
+	fi
 
 config.make: config.make.in configure
-	./configure
+	if [ -x config.status ]; then \
+	  ./config.status --recheck; \
+	else \
+	  ./configure; \
+	fi
 
 # Things to do before checking
 # before-check::