From 9aac68104b40c05f6dcd65cdd18316400ce26652 Mon Sep 17 00:00:00 2001
From: =?utf8?q?Kim=20Nguy=E1=BB=85n?= <kim.nguyen@lri.fr>
Date: Tue, 18 Apr 2017 11:10:20 +0200
Subject: [PATCH] Update reference to saxon jar file.

---
 .gitignore             | 3 +--
 tests/gen_ref_saxon.sh | 6 +++---
 2 files changed, 4 insertions(+), 5 deletions(-)

diff --git a/.gitignore b/.gitignore
index e3a6b7e..d40deaa 100644
--- a/.gitignore
+++ b/.gitignore
@@ -23,6 +23,5 @@ src/trace_css.ml
 src/trace_js.ml
 tests/xmark*.xml
 tests/xmark*.xml.queries
-
-
 *.flags
+tests/saxon9he.jar
\ No newline at end of file
diff --git a/tests/gen_ref_saxon.sh b/tests/gen_ref_saxon.sh
index d695d06..9684368 100755
--- a/tests/gen_ref_saxon.sh
+++ b/tests/gen_ref_saxon.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
-
-javac -cp .:/tmp/saxon9he.jar XPathEvalSaxon.java
+SAXON=saxon9he.jar
+javac -cp .:$SAXON XPathEvalSaxon.java
 for xml in *.xml
 do
     QUERIES="${xml}.queries"
@@ -8,7 +8,7 @@ do
     cat "$QUERIES" | grep -v '^#' | while read qname query
     do
         printf "Generating reference for %s, %s ... " "${xml}" "${qname}"
-        java -cp .:/tmp/saxon9he.jar XPathEvalSaxon "${xml}" "${query}" > "$RESULTS"/"${qname}_saxon.xml" 2> "$RESULTS"/"${qname}_saxon.log"
+        java -cp .:$SAXON XPathEvalSaxon "${xml}" "${query}" > "$RESULTS"/"${qname}_saxon.xml" 2> "$RESULTS"/"${qname}_saxon.log"
         if [ $? -eq 0 ]
         then
             printf "ok\\n"
-- 
2.17.1