changeset 130:d659ed4b9197

Another point to run repoint
author Chris Cannam
date Thu, 07 Feb 2019 11:48:53 +0000
parents 89f0fef1fccd
children 85e84012311b
files SCRIPTS/Dockerfile_ubuntu1604.in SCRIPTS/process.sh
diffstat 2 files changed, 1 insertions(+), 2 deletions(-) [+]
line wrap: on
line diff
--- a/SCRIPTS/Dockerfile_ubuntu1604.in	Thu Feb 07 11:43:18 2019 +0000
+++ b/SCRIPTS/Dockerfile_ubuntu1604.in	Thu Feb 07 11:48:53 2019 +0000
@@ -17,5 +17,3 @@
 RUN ./SCRIPTS/update.sh vamp-plugin-tester
 RUN ( cd vamp-plugin-tester && ./repoint update )
 RUN ./SCRIPTS/process.sh native -c [[REPO]]
-
-
--- a/SCRIPTS/process.sh	Thu Feb 07 11:43:18 2019 +0000
+++ b/SCRIPTS/process.sh	Thu Feb 07 11:48:53 2019 +0000
@@ -342,6 +342,7 @@
 rebuild() {
     local dir="$1"
     local log=$(logfile_for build "$dir")
+    repoint "$dir"
     if configure_maybe "$dir"; then
 	mfile=$(find_makefile "$dir")
 	if [ -n "$mfile" ]; then