From 1ebea904abe2e0b1d9f406d861a90c3de0672695 Mon Sep 17 00:00:00 2001 From: Tom Payne Date: Thu, 17 Jan 2013 12:33:10 +0100 Subject: [PATCH] Only run gjslint on modified files --- build.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/build.py b/build.py index b19e28f9bd..6d2410ae59 100755 --- a/build.py +++ b/build.py @@ -192,13 +192,13 @@ def build_lint_src_timestamp(t): limited_doc_files = [path for path in ifind('externs', 'build/src/external/externs') if path.endswith('.js')] - t.run('%(GJSLINT)s', '--strict', '--limited_doc_files=%s' % (','.join(limited_doc_files),), SRC, INTERNAL_SRC, EXTERNAL_SRC, EXAMPLES_SRC) + t.run('%(GJSLINT)s', '--strict', '--limited_doc_files=%s' % (','.join(limited_doc_files),), t.newer(SRC, INTERNAL_SRC, EXTERNAL_SRC, EXAMPLES_SRC)) t.touch() @target('build/lint-spec-timestamp', SPEC) def build_lint_spec_timestamp(t): - t.run('%(GJSLINT)s', SPEC) + t.run('%(GJSLINT)s', t.newer(SPEC)) t.touch()