diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01T14·17+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01T14·17+0000 |
commit | 089c41a0c2ecf91c55495547a5462d75f36be5f4 (patch) | |
tree | 506ca9290fea358df2fdef12b95e4d0d96ffadf0 | |
parent | ca0b23c831e28ef344e71ffd342452700b1b9109 (diff) |
* Oops!
-rw-r--r-- | tests/common.sh.in | 3 | ||||
-rw-r--r-- | tests/logging.sh | 2 |
2 files changed, 3 insertions, 2 deletions
diff --git a/tests/common.sh.in b/tests/common.sh.in index cd0ebf2cf717..71554af109a5 100644 --- a/tests/common.sh.in +++ b/tests/common.sh.in @@ -22,7 +22,8 @@ export PERL=perl export TOP=$(pwd)/.. export aterm_bin=@aterm_bin@ export dot=@dot@ -export xmllint="@xmllint@ @xmlflags@" +export xmllint="@xmllint@" +export xmlflags="@xmlflags@" export xsltproc="@xsltproc@" export version=@version@ diff --git a/tests/logging.sh b/tests/logging.sh index 80d186a754bc..aea9f78b169c 100644 --- a/tests/logging.sh +++ b/tests/logging.sh @@ -10,7 +10,7 @@ $TOP/src/nix-log2xml/nix-log2xml < $TEST_ROOT/log.esc > $TEST_ROOT/log.xml # Is this well-formed XML? if test -n "$xmllint"; then - $xmllint --noout $TEST_ROOT/log.xml + $xmllint $xmlflags --noout $TEST_ROOT/log.xml fi # Convert to HTML. |