# HG changeset patch # User Chris Cannam # Date 1549540133 0 # Node ID d659ed4b9197ae6e20ea11f2497d91a3eb9e0ebd # Parent 89f0fef1fccd5f505fe1e6400a3456face5313fd Another point to run repoint diff -r 89f0fef1fccd -r d659ed4b9197 SCRIPTS/Dockerfile_ubuntu1604.in --- 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]] - - diff -r 89f0fef1fccd -r d659ed4b9197 SCRIPTS/process.sh --- 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