diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index b41bee445594..b6caf3debba3 100755 --- a/configure.sh +++ b/configure.sh @@ -295,7 +295,7 @@ gen_file_list() { while [ "$#" -ge 1 ]; do a="$1" shift - args="$args ! -wholename src/${a}" + args="$args ! -path src/${a}" done else |