Makefile: add a DEVOPTS to get all of -Wextra

diff --git a/Makefile b/Makefile
index f5fd5accc52456a4828904dfbc4d97bf8a2f2282..1ad1049a408cbe4c3f29e580edff1f01e78d93ab 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -445,6 +445,12 @@ all::
 #        suppresses the -Werror that implicitly comes with
 #        DEVELOPER=1. Useful for getting the full set of errors
 #        without immediately dying, or for logging them.
+#
+#    extra-all:
+#
+#        The DEVELOPER mode enables -Wextra with a few exceptions. By
+#        setting this flag the exceptions are removed, and all of
+#        -Wextra is used.
 
 GIT-VERSION-FILE: FORCE
        @$(SHELL_PATH) ./GIT-VERSION-GEN