diff configure @ 318:3d129db143f4

Vext -> Repoint
author Chris Cannam
date Tue, 15 May 2018 15:30:38 +0100
parents 523f8f1789b4
children 4819abbd24bb
line wrap: on
line diff
--- a/configure	Tue Jan 02 10:56:52 2018 +0000
+++ b/configure	Tue May 15 15:30:38 2018 +0100
@@ -7609,22 +7609,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;}