diff options
author | Alejandro Colomar <alx@kernel.org> | 2023-03-19 16:41:17 +0100 |
---|---|---|
committer | Alejandro Colomar <alx@kernel.org> | 2023-03-19 16:41:17 +0100 |
commit | 6b3889798f039d64ac02ec6f602facb83ca04656 (patch) | |
tree | b632f2d5dabd37cd13089276ab2d88b3b08fb116 /CONTRIBUTING | |
parent | 30d22b84a5b276401cf006f647c5871f1329f187 (diff) |
CONTRIBUTING: Recommend make(1)'s -W, rather than actually touching the file
Signed-off-by: Alejandro Colomar <alx@kernel.org>
Diffstat (limited to 'CONTRIBUTING')
-rw-r--r-- | CONTRIBUTING | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/CONTRIBUTING b/CONTRIBUTING index e20447ffa..30e0bc244 100644 --- a/CONTRIBUTING +++ b/CONTRIBUTING @@ -138,14 +138,14 @@ Description (1) First use make(1)'s -t option, so that make(1) knows that it only needs to lint again pages that you will touch. - $ make -t lint + $ make -t lint >/dev/null - (2) Touch the page that you'll edit, and run make(1) again, to see - which warnings you'll still see from that page that are not your - fault. + (2) Run make(1) again, asking it to imagine that the page wou'll + modify has been touched, to see which warnings you'll still see + from that page that are not your fault. - $ touch man2/membarrier.2 # replace by the page you'll modify - $ make -k lint + $ # replace 'man2/membarrier.2' by the page you'll modify + $ make -W man2/membarrier.2 -k lint (3) Apply your changes, and then run make(1) again. You can ignore warnings that you saw in step (2), but if you see any new ones, |