Use -Wstyle with -Tlint since sudo is not part of the base system.
authorTodd C. Miller <Todd.Miller@sudo.ws>
Sun, 7 Oct 2018 13:26:28 +0000 (07:26 -0600)
committerTodd C. Miller <Todd.Miller@sudo.ws>
Sun, 7 Oct 2018 13:26:28 +0000 (07:26 -0600)
commit244be233015990972fe1b9f7693717ebaab11c8e
tree2ceb030e30064717ea52db1c815d0bc7f3c177f0
parent5433eb546a2d235d389430d1e7b9863868b07af3
Use -Wstyle with -Tlint since sudo is not part of the base system.
This avoids "referenced manual not found" and "operating system
explicitly specified" warnings.
doc/Makefile.in