set some jslint options

diff --git a/scripts/rhino.js b/scripts/rhino.js
index 6a85f9a14a3d8e51d3687fc6d6f3812f5d84f71a..2afb32ce6eaebcf2038640e202dc301a892f6a23 100644 (file)
--- 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) {