diff configure @ 2366:bf5eadde7e7a

Merge
author Chris Cannam
date Thu, 10 Oct 2019 14:31:24 +0100
parents c56056a3dfb2
children 7bf8a0179e32
line wrap: on
line diff
--- a/configure	Thu Oct 10 14:31:11 2019 +0100
+++ b/configure	Thu Oct 10 14:31:24 2019 +0100
@@ -8723,11 +8723,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