From 4520d81153ddcd29b477fcf30d43cbaa16b775cc Mon Sep 17 00:00:00 2001
From: Tom Payne <twpayne@gmail.com>
Date: Fri, 5 Apr 2013 20:20:13 +0200
Subject: [PATCH] Don't lint examples/loader.js

---
 build.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/build.py b/build.py
index 1659dab6ab..c2ff878c65 100755
--- a/build.py
+++ b/build.py
@@ -109,6 +109,7 @@ EXAMPLES_SRC = [path
                 if not path.startswith('examples/font-awesome')
                 if path != 'examples/Jugl.js'
                 if path != 'examples/jquery.min.js'
+                if path != 'examples/loader.js'
                 if path != 'examples/example-list.js']
 
 EXAMPLES_JSON = ['build/' + example.replace('.html', '.json')