mirror of
https://github.com/gnustep/libs-gui.git
synced 2025-04-22 12:00:45 +00:00
use config.status if avaiable
git-svn-id: svn+ssh://svn.gna.org/svn/gnustep/libs/gui/trunk@38314 72102866-910b-0410-8b05-ffd578937521
This commit is contained in:
parent
09614d4d35
commit
c238b7c774
1 changed files with 10 additions and 2 deletions
|
@ -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::
|
||||
|
|
Loading…
Reference in a new issue