From 012cb501df86966d3fa2c377a0f10cf180060508 Mon Sep 17 00:00:00 2001 From: Tom Payne Date: Fri, 15 Feb 2013 00:33:05 +0100 Subject: [PATCH] Don't re-lint files that have already passed after a lint failure --- build.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.py b/build.py index eb1dd3d6ba..7a5f049e36 100755 --- a/build.py +++ b/build.py @@ -213,7 +213,7 @@ def serve_precommit(t): virtual('lint', 'build/lint-src-timestamp', 'build/lint-spec-timestamp', 'build/check-requires-timestamp') -@target('build/lint-src-timestamp', SRC, INTERNAL_SRC, EXTERNAL_SRC, EXAMPLES_SRC) +@target('build/lint-src-timestamp', SRC, INTERNAL_SRC, EXTERNAL_SRC, EXAMPLES_SRC, precious=True) def build_lint_src_timestamp(t): limited_doc_files = [path for path in ifind('externs', 'build/src/external/externs') @@ -288,7 +288,7 @@ def build_check_requires_timestamp(t): t.touch() -@target('build/lint-spec-timestamp', SPEC) +@target('build/lint-spec-timestamp', SPEC, precious=True) def build_lint_spec_timestamp(t): t.run('%(GJSLINT)s', t.newer(SPEC)) t.touch()