projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Add a bitmap to keep track of whether a subtree needs to be
[tatoo.git]
/
Remakefile.in
diff --git
a/Remakefile.in
b/Remakefile.in
index
f5ba98d
..
3f16f26
100644
(file)
--- a/
Remakefile.in
+++ b/
Remakefile.in
@@
-172,13
+172,13
@@
test_clean:
echo "Query: $q : $query" >> "$1"
cat "$LOG" | grep '^STATS' >> "$1"
echo -n "Diff: " >> "$1"
echo "Query: $q : $query" >> "$1"
cat "$LOG" | grep '^STATS' >> "$1"
echo -n "Diff: " >> "$1"
- tools/xml_diff.native "$REF" "$OUTPUT" >/dev/null 2>&1
- if [ "$?" -eq 0 ]; then
+ if tools/xml_diff.native "$REF" "$OUTPUT" >/dev/null 2>&1; then
echo ok
echo ok >> "$1"
else
echo failed
echo failed >> "$1"
echo ok
echo ok >> "$1"
else
echo failed
echo failed >> "$1"
+ exit 1
fi
echo '-------------------------------------------' >> "$1"
done
fi
echo '-------------------------------------------' >> "$1"
done