From ebd573755800397a1ee819041c6a98f20e104258 Mon Sep 17 00:00:00 2001 From: Richard Frith-MacDonald Date: Sat, 31 Jan 2015 20:55:45 +0000 Subject: [PATCH] use config.status when available git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/ec/trunk@38317 72102866-910b-0410-8b05-ffd578937521 --- GNUmakefile.postamble | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/GNUmakefile.postamble b/GNUmakefile.postamble index af99ddf..e96d4b3 100644 --- a/GNUmakefile.postamble +++ b/GNUmakefile.postamble @@ -48,14 +48,18 @@ EcAlarmSink.m_FILE_FILTER_OUT_FLAGS = -O% # Automatically run ./configure if needed to generate the makefiles # which we need in order to do our job. If you need any special -# argument to ./configure, you can't rely on this rule, and you must -# always run ./configure manually. This rule is usually executed +# argument to ./configure, you can't rely on this rule, and you should +# usually run ./configure manually. This rule is often executed # whenever 'make xxx' is invoked after a 'make distclean' - which is # why we can't guess what the ./configure arguments were last time # ./configure was called - make distclean cleans the sources # completely, wiping out any memory of specific configuration. config.make config.h: config.make.in config.h.in configure - ./configure + if [ -x config.status ]; then \ + ./config.status --recheck; \ + else \ + ./configure; \ + fi touch config.h touch config.make