improve last fix

This commit is contained in:
Richard Frith-Macdonald 2017-06-29 09:57:04 +01:00
parent 8095873ae4
commit eb58bd0d78

View file

@ -66,10 +66,9 @@ after-distclean::
# Things to do after checking
# after-check::
config.make: config.make.in
config.make: config.status
if [ -x config.status ]; then \
./config.status --recheck; \
touch config.make; \
else \
./configure; \
fi