From be47012ea693ebfb2e37b6540e5bb811d3d5ad11 Mon Sep 17 00:00:00 2001 From: rfm Date: Sat, 31 Jan 2015 20:48:36 +0000 Subject: [PATCH] use config.status if avaiable git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@38314 72102866-910b-0410-8b05-ffd578937521 --- GNUmakefile.postamble | 12 ++++++++++-- 1 file changed, 10 insertions(+), 2 deletions(-) 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::