diff --git a/zephyr/static/js/debug.js b/zephyr/static/js/debug.js
index 255183c1ba..61ce060d9a 100644
--- a/zephyr/static/js/debug.js
+++ b/zephyr/static/js/debug.js
@@ -9,6 +9,9 @@
     The file may still be accessible under other circumstances, so do
     not put sensitive information here. */
 
+// It's fine to use console.log etc. in this file.
+/*jslint devel: true */
+
 /*
       print_elapsed_time("foo", foo)