BUILD: Make DEBUG part of .build_opts

This forces a recompilation if the value of DEBUG= changes.

diff --git a/Makefile b/Makefile
index b93b0a87235eccc78a943d171f9bb8b3c82fdc3f..ff2084dd1fdb737017fefba8152ac1c02fe40a5f 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -878,7 +878,7 @@ help:
 # Used only to force a rebuild if some build options change, but we don't do
 # it for certain targets which take no build options
 ifneq (reg-tests, $(firstword $(MAKECMDGOALS)))
-build_opts = $(shell rm -f .build_opts.new; echo \'$(TARGET) $(BUILD_OPTIONS) $(VERBOSE_CFLAGS)\' > .build_opts.new; if cmp -s .build_opts .build_opts.new; then rm -f .build_opts.new; else mv -f .build_opts.new .build_opts; fi)
+build_opts = $(shell rm -f .build_opts.new; echo \'$(TARGET) $(BUILD_OPTIONS) $(VERBOSE_CFLAGS) $(DEBUG)\' > .build_opts.new; if cmp -s .build_opts .build_opts.new; then rm -f .build_opts.new; else mv -f .build_opts.new .build_opts; fi)
 .build_opts: $(build_opts)
 else
 .build_opts: