1 files changed, 2 insertions, 2 deletions
diff --git a/configure b/configure
index 0652d6fc30..c5b597c5ca 100755
--- a/configure
+++ b/configure
@@ -1016,10 +1016,10 @@ while test $# -gt 0; do
 done
 
 # Add the default directories.
-sysnames="$names sysdeps/generic sysdeps/stub include"
+sysnames="$names sysdeps/generic sysdeps/stub"
 
 # The other names were emitted during the scan.
-echo "$ac_t""sysdeps/generic sysdeps/stub include" 1>&6
+echo "$ac_t""sysdeps/generic sysdeps/stub" 1>&6
 
 
 ### Locate tools.