>+20150404: >+ Lint changes require a full rebuild of the tool, so make >+ sure to build without -u option to build.sh, or manually >+ do a make cleandir in src/tools/lint1 and >+ src/usr.bin/xlint. >+ This indicates some broken dependencies, and should not be needed... Let's investigate more? christos