projects
/
tatoo.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Change command line options:
[tatoo.git]
/
Remakefile.in
diff --git
a/Remakefile.in
b/Remakefile.in
index
e38e3b9
..
1416beb
100644
(file)
--- a/
Remakefile.in
+++ b/
Remakefile.in
@@
-176,8
+176,8
@@
test_clean:
$(REMAKE) "$REF"
OUTPUT="$base".xml.results/"$q"_"$(PACKAGE)".xml
LOG="$base".xml.results/"$q"_"$(PACKAGE)".log
$(REMAKE) "$REF"
OUTPUT="$base".xml.results/"$q"_"$(PACKAGE)".xml
LOG="$base".xml.results/"$q"_"$(PACKAGE)".log
- src/@PACKAGE_TARNAME@.native@EXE@ -s "$base".xml \
- "$query" "$OUTPUT" > "$LOG" 2>&1
+ src/@PACKAGE_TARNAME@.native@EXE@ -s
-d
"$base".xml \
+ "$query"
-o
"$OUTPUT" > "$LOG" 2>&1
echo "Query: $q : $query" >> "$@"
cat "$LOG" | grep '^STATS' >> "$@"
echo -n "Diff: " >> "$@"
echo "Query: $q : $query" >> "$@"
cat "$LOG" | grep '^STATS' >> "$@"
echo -n "Diff: " >> "$@"