diff configure @ 1808:adc8a48f4e4c repoint

Vext -> Repoint. Let's see how this goes.
author Chris Cannam
date Wed, 09 May 2018 13:28:55 +0100
parents 9db7ad441ea6
children 714f8dad57bc
line wrap: on
line diff
--- a/configure	Tue May 08 14:28:58 2018 +0100
+++ b/configure	Wed May 09 13:28:55 2018 +0100
@@ -8525,22 +8525,22 @@
 fi
 
 
-if test -x vext ; then
+if test -x repoint ; then
    if test -d .hg -o -d .git ; then
-      if ! ./vext install; then
-         as_fn_error $? "Vext failed; please fix any reported errors and try again" "$LINENO" 5
+      if ! ./repoint install; then
+         as_fn_error $? "Repoint failed; please fix any reported errors and try again" "$LINENO" 5
       fi
    else
-      { $as_echo "$as_me:${as_lineno-$LINENO}: Vext executable found but not in an Hg or Git working-copy: not running it" >&5
-$as_echo "$as_me: Vext executable found but not in an Hg or Git working-copy: not running it" >&6;}
+      { $as_echo "$as_me:${as_lineno-$LINENO}: Repoint executable found but not in an Hg or Git working-copy: not running it" >&5
+$as_echo "$as_me: Repoint executable found but not in an Hg or Git working-copy: not running it" >&6;}
       if ! test -d vamp-plugin-sdk ; then
           { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: No vamp-plugin-sdk directory present, so external libraries might not have been updated" >&5
 $as_echo "$as_me: WARNING: No vamp-plugin-sdk directory present, so external libraries might not have been updated" >&2;}
       fi
    fi
 else
-   { $as_echo "$as_me:${as_lineno-$LINENO}: No Vext executable found: assuming external libraries are already here" >&5
-$as_echo "$as_me: No Vext executable found: assuming external libraries are already here" >&6;}
+   { $as_echo "$as_me:${as_lineno-$LINENO}: No Repoint executable found: assuming external libraries are already here" >&5
+$as_echo "$as_me: No Repoint executable found: assuming external libraries are already here" >&6;}
    if ! test -d vamp-plugin-sdk ; then
       { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: No vamp-plugin-sdk directory present, so external libraries might not have been updated" >&5
 $as_echo "$as_me: WARNING: No vamp-plugin-sdk directory present, so external libraries might not have been updated" >&2;}