# HG changeset patch # User cehoyos # Date 1188382344 0 # Node ID 6b0e5503ca7af5fbb03940260a4f2422629a4c29 # Parent 70437b99cceeb365b7ad5d5995633896811cf17b Silence make's 'Please run configure again' if it was already run. diff -r 70437b99ccee -r 6b0e5503ca7a Makefile --- a/Makefile Wed Aug 29 09:43:00 2007 +0000 +++ b/Makefile Wed Aug 29 10:12:24 2007 +0000 @@ -314,7 +314,7 @@ strip -s $(ALL_PRG) # ./configure must be rerun if it changed -config.h: configure +config.mak: configure @echo "############################################################" @echo "####### Please run ./configure again - it's changed! #######" @echo "############################################################"