changeset 129:89f0fef1fccd

Run repoint if found
author Chris Cannam
date Thu, 07 Feb 2019 11:43:18 +0000
parents 3a8658f7e0b7
children d659ed4b9197
files SCRIPTS/process.sh
diffstat 1 files changed, 8 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- 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