diff options
| author |  Benjamin Jones <bjones@galois.com> | 2012-12-07 16:50:16 -0800 |
|---|---|---|
| committer | Benjamin Jones <bjones@galois.com> | 2012-12-07 16:50:16 -0800 |
| commit | 90c7ea900e02e1fd3ec5399e15b00a68b9ae65db (patch) | |
| tree | ae2591f522366a0742f045aecef3a18b8e3385cb /exampleData/ruleSets/buildCombinedRules.sh | |
| parent | b161edf0898d5e73a0643da89444d18da208580e (diff) | |
added comments so buildCombinedRules.sh script will work
Diffstat (limited to 'exampleData/ruleSets/buildCombinedRules.sh')
| -rwxr-xr-x | exampleData/ruleSets/buildCombinedRules.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/exampleData/ruleSets/buildCombinedRules.sh b/exampleData/ruleSets/buildCombinedRules.sh index df4782d..f4bad1c 100755 --- a/exampleData/ruleSets/buildCombinedRules.sh +++ b/exampleData/ruleSets/buildCombinedRules.sh @@ -3,6 +3,9 @@ # This script builds a collection of FiveUI rulesets (contained in various .json files) # into a combined rule sets file: combinedRules.json. # +# For the script to work, the input .json files must have rules separated by +# comment lines starting with //---. Also, the last rule in the file must be +# followed by //,. See colorRules.json for an example. FILES=`ls *.json | grep -v combinedRules` OUTFILE="combinedRules.json" |