diff configure @ 620:85ba31c30ea4

Merge
author Chris Cannam
date Thu, 10 Oct 2019 13:18:06 +0100
parents 08859cbcd879
children
line wrap: on
line diff
--- a/configure	Thu Oct 10 13:17:29 2019 +0100
+++ b/configure	Thu Oct 10 13:18:06 2019 +0100
@@ -8619,11 +8619,11 @@
       fi
    fi
 else
-   { $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;}
+   { $as_echo "$as_me:${as_lineno-$LINENO}: No Repoint executable found: assuming external components are already here" >&5
+$as_echo "$as_me: No Repoint executable found: assuming external components 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;}
+      { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: No vamp-plugin-sdk directory present, so external components might not have been updated" >&5
+$as_echo "$as_me: WARNING: No vamp-plugin-sdk directory present, so external components might not have been updated" >&2;}
    fi
 fi