File tree Expand file tree Collapse file tree 4 files changed +4
-31
lines changed
Expand file tree Collapse file tree 4 files changed +4
-31
lines changed Load Diff This file was deleted.
Original file line number Diff line number Diff line change 5454 exit 1
5555fi
5656
57- if [ -f relaxng.xml -a -x " $( which xmllint) " >&2
57+ if [ -f utils/ relaxng.xml -a -x " $( which xmllint) " >&2
5858then
59- if xmllint --noout --relaxng relaxng.xml src/chrome/content/rules/* .xml
59+ if xmllint --noout --relaxng utils/ relaxng.xml src/chrome/content/rules/* .xml
6060 then
6161 echo Validation of rulesets with RELAX NG grammar completed. >&2
6262 else
Original file line number Diff line number Diff line change 4444 exit 1
4545fi
4646
47- if [ -f relaxng.xml -a -x " $( which xmllint) " >&2
47+ if [ -f utils/ relaxng.xml -a -x " $( which xmllint) " >&2
4848then
49- if xmllint --noout --relaxng relaxng.xml src/chrome/content/rules/* .xml
49+ if xmllint --noout --relaxng utils/ relaxng.xml src/chrome/content/rules/* .xml
5050 then
5151 echo Validation of rulesets with RELAX NG grammar completed. >&2
5252 else
File renamed without changes.
You can’t perform that action at this time.
0 commit comments