diff options
| author | Stefan Eßer <se@FreeBSD.org> | 2020-12-06 11:38:46 +0000 |
|---|---|---|
| committer | Stefan Eßer <se@FreeBSD.org> | 2020-12-06 11:38:46 +0000 |
| commit | 253e722024bb7ee47360bbb12c6893e7c8d7b780 (patch) | |
| tree | 5ed2361275d2579812e37b2d89ced59c1f468976 /configure.sh | |
| parent | 2e4772e82335c32e07d0605e5edefb0ac6ea857b (diff) | |
Notes
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 |