+# Make sure configure is up-to-date
+
+all boot :: configure
+configure :: configure.in
+ @echo "WARNING: configure needs to be regenerated. Type"
+ @echo " make -f Makefile.config ./configure"
+ @echo "and rerun make."
+ @exit 16
+
+# -----------------------------------------------------------------------------