gnustep/libs-gui
0
0
Fork 0
mirror of https://github.com/gnustep/libs-gui.git synced 2025-06-02 03:30:59 +00:00
Code Issues Projects Releases Packages Wiki Activity

use config.status if avaiable

Browse source 
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@38314 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
rfm 2015-01-31 20:48:36 +00:00
parent d3da3e9fea
commit be47012ea6
1 changed files with 10 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

12
GNUmakefile.postamble
View file

@ -78,10 +78,18 @@ after-distclean::
rm -f config.status config.log config.cache TAGS config.make gui.make rm -f config.status config.log config.cache TAGS config.make gui.make
gui.make: gui.make.in Version configure 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 config.make: config.make.in configure
./configure if [ -x config.status ]; then \
./config.status --recheck; \
else \
./configure; \
fi
# Things to do before checking # Things to do before checking
# before-check:: # before-check::