# HG changeset patch
# User Chris Cannam
# Date 1549539798 0
# Node ID 89f0fef1fccd5f505fe1e6400a3456face5313fd
# Parent  3a8658f7e0b7c80bf4d408ec84b54fa589af2529
Run repoint if found

diff -r 3a8658f7e0b7 -r 89f0fef1fccd SCRIPTS/process.sh
--- a/SCRIPTS/process.sh	Thu Feb 07 11:38:32 2019 +0000
+++ b/SCRIPTS/process.sh	Thu Feb 07 11:43:18 2019 +0000
@@ -247,6 +247,13 @@
     fi
 }
 
+repoint() {
+    local dir="$1"
+    if [ -f "$dir/repoint-project.json" ] ; then
+	( cd "$dir" ; ./repoint install ) 2>&1 | tee "$reportdir/$dir.repoint.txt"
+    fi
+}
+
 find_makefile() {
     local dir="$1"
     for f in \
@@ -311,6 +318,7 @@
 build() {
     local dir="$1"
     local log=$(logfile_for build "$dir")
+    repoint "$dir"
     if configure_maybe "$dir"; then
 	mfile=$(find_makefile "$dir")
 	if [ -n "$mfile" ]; then