diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
| @@ -1290,6 +1290,7 @@ help: | |||
| 1290 | @echo ' make O=dir [targets] Locate all output files in "dir", including .config' | 1290 | @echo ' make O=dir [targets] Locate all output files in "dir", including .config' |
| 1291 | @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse by default)' | 1291 | @echo ' make C=1 [targets] Check all c source with $$CHECK (sparse by default)' |
| 1292 | @echo ' make C=2 [targets] Force check of all c source with $$CHECK' | 1292 | @echo ' make C=2 [targets] Force check of all c source with $$CHECK' |
| 1293 | @echo ' make RECORDMCOUNT_WARN=1 [targets] Warn about ignored mcount sections' | ||
| 1293 | @echo ' make W=n [targets] Enable extra gcc checks, n=1,2,3 where' | 1294 | @echo ' make W=n [targets] Enable extra gcc checks, n=1,2,3 where' |
| 1294 | @echo ' 1: warnings which may be relevant and do not occur too often' | 1295 | @echo ' 1: warnings which may be relevant and do not occur too often' |
| 1295 | @echo ' 2: warnings which occur quite often but may still be relevant' | 1296 | @echo ' 2: warnings which occur quite often but may still be relevant' |
