scripts/jslint.sh
changeset 3065 c7c5212ba840
equal deleted inserted replaced
3064:bc1eecbd1a7c 3065:c7c5212ba840
       
     1 #!/bin/bash
       
     2 #Requires java installed
       
     3 
       
     4 echo "JSLINT: running jslint"
       
     5 
       
     6 JS_DIRECTORY="../app/soc/content/js"
       
     7 JSLINT="../thirdparty/jslint/jslint.js"
       
     8 RHINO="../thirdparty/shrinksafe/js.jar"
       
     9 
       
    10 for dir in $(find $JS_DIRECTORY -type d); do
       
    11   for i in $(find $dir/*.js -type f); do
       
    12     echo "JSLINT: Processing $i"
       
    13     java -jar $RHINO $JSLINT $i
       
    14   done
       
    15 done
       
    16 
       
    17 echo "JSLINT: process finished"