# HG changeset patch
# User Chris Cannam
# Date 1429007575 -3600
# Node ID e2e7672ea759379f7adb525a3f29b37429c9d77e
# Parent  1710ac3f246fae59abcbfe435f8a9435f3f3efb6
Some absolute paths

diff -r 1710ac3f246f -r e2e7672ea759 SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Tue Apr 14 11:18:54 2015 +0100
+++ b/SCRIPTS/process.sh	Tue Apr 14 11:32:55 2015 +0100
@@ -146,6 +146,8 @@
     shift
 fi
 
+metadir="$mydir"/../METADATA
+
 depincdir="$mydir"/../DEPENDENCIES/$platform$bits/include
 deplibdir="$mydir"/../DEPENDENCIES/$platform$bits/lib
 depincdir_generic="$mydir"/../DEPENDENCIES/generic/include
@@ -184,15 +186,15 @@
 
 target_for() {
     local dir="$1"
-    if grep -q "^$dir: " METADATA/maketarget.txt ; then
-	grep "^$dir: " METADATA/maketarget.txt | head -1 | sed 's/^[^:]*: //'
+    if grep -q "^$dir: " ${metadir}/maketarget.txt ; then
+	grep "^$dir: " ${metadir}/maketarget.txt | head -1 | sed 's/^[^:]*: //'
     fi
 }
 
 plugin_dir_for() {
     local dir="$1"
-    if grep -q "^$dir: " METADATA/plugindir.txt ; then
-	echo "$dir"/$(grep "^$dir: " METADATA/plugindir.txt | head -1 | sed 's/^[^:]*: //')
+    if grep -q "^$dir: " ${metadir}/plugindir.txt ; then
+	echo "${mydir}/../${dir}"/$(grep "^$dir: " ${metadir}/plugindir.txt | head -1 | sed 's/^[^:]*: //')
     fi
 }
 
@@ -340,7 +342,7 @@
 
 is_nondeterministic() {
     plugin_id="$1"
-    grep -q "^$id\$" METADATA/nondeterministic.txt
+    grep -q "^$id\$" ${metadir}/nondeterministic.txt
 }
 
 plugin_ids_in() {