diff options
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -1268,6 +1268,7 @@ help: | |||
1268 | @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse by default)' | 1268 | @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse by default)' |
1269 | @echo ' make C=2 [targets] Force check of all c source with $$CHECK' | 1269 | @echo ' make C=2 [targets] Force check of all c source with $$CHECK' |
1270 | @echo ' make W=1 [targets] Enable extra gcc checks' | 1270 | @echo ' make W=1 [targets] Enable extra gcc checks' |
1271 | @echo ' make RECORDMCOUNT_WARN=1 [targets] Warn about ignored mcount sections' | ||
1271 | @echo '' | 1272 | @echo '' |
1272 | @echo 'Execute "make" or "make all" to build all targets marked with [*] ' | 1273 | @echo 'Execute "make" or "make all" to build all targets marked with [*] ' |
1273 | @echo 'For further info see the ./README file' | 1274 | @echo 'For further info see the ./README file' |