diff --git a/build.py b/build.py index 65bb9f1de3..4205641d67 100755 --- a/build.py +++ b/build.py @@ -710,7 +710,9 @@ def host_examples(t): @target('check-examples', 'host-examples', phony=True) def check_examples(t): - examples = ['build/hosted/%(BRANCH)s/' + e for e in EXAMPLES] + examples = ['build/hosted/%(BRANCH)s/' + e + for e in EXAMPLES + if not open(e.replace('.html', '.js')).readline().startswith('// NOCOMPILE')] all_examples = \ [e + '?mode=advanced' for e in examples] for example in all_examples: