From 76f5c6b6e045bfc963ea148661b135b5992a3238 Mon Sep 17 00:00:00 2001
From: arno <arno@renevier.net>
Date: Mon, 14 Mar 2011 16:12:47 +0100
Subject: [PATCH] set some jslint options

---
 scripts/rhino.js | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/scripts/rhino.js b/scripts/rhino.js
index 6a85f9a..2afb32c 100644
--- a/scripts/rhino.js
+++ b/scripts/rhino.js
@@ -21,8 +21,9 @@ Copyright (c) 2002 Douglas Crockford  (www.JSLint.com) Rhino Edition
         quit(1);
     }
     if (!JSLINT(input, {bitwise: true, eqeqeq: true, immed: true,
-            newcap: true, nomen: true, onevar: true, plusplus: true,
-            regexp: true, rhino: true, undef: true, white: true})) {
+            newcap: true, nomen: true, onevar: false, plusplus: false,
+            regexp: true, rhino: true, undef: false, white: false,
+            'continue': true})) {
         for (i = 0; i < JSLINT.errors.length; i += 1) {
             e = JSLINT.errors[i];
             if (e) {
-- 
2.39.2