diff options
Diffstat (limited to 'scripts')
| -rwxr-xr-x | scripts/gen-deps | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/gen-deps b/scripts/gen-deps index bdc1626..bcfb15d 100755 --- a/scripts/gen-deps +++ b/scripts/gen-deps @@ -22,8 +22,8 @@ genrule () { gencommon "${1}" echo " \$(COMPILE) -c \$< -o \$@" >> deps.mk - echo "${lint}: ${s}" >> deps.mk - echo " \$(LINT) -c \$<" >> deps.mk + echo "${lint}: ${s}" >> deps.mk + echo " \$(LINT) -c \$< -o /dev/null" >> deps.mk } case "${1}" in |