diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 14:17:00 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2006-03-01 14:17:00 +0000 |
| commit | 089c41a0c2ecf91c55495547a5462d75f36be5f4 (patch) | |
| tree | 506ca9290fea358df2fdef12b95e4d0d96ffadf0 /tests/logging.sh | |
| parent | ca0b23c831e28ef344e71ffd342452700b1b9109 (diff) | |
* Oops!
Diffstat (limited to 'tests/logging.sh')
| -rw-r--r-- | tests/logging.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tests/logging.sh b/tests/logging.sh index 80d186a75..aea9f78b1 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. |