File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree 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