diff options
Diffstat (limited to 'configure')
| -rwxr-xr-x | configure | 4 |
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. |