diff options
Diffstat (limited to 'scripts/mk-w32-dist')
| -rwxr-xr-x | scripts/mk-w32-dist | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/mk-w32-dist b/scripts/mk-w32-dist index 4b03b9bb7..f3ed20b6a 100755 --- a/scripts/mk-w32-dist +++ b/scripts/mk-w32-dist @@ -142,7 +142,7 @@ cp ${srcdir}/doc/README.W32 README-W32.txt todos README-W32.txt patches_defs= -for i in `find "$topdir/patches" -type f -name '*.diff'`; do +for i in `find "$topdir/patches" -type f \( -name '*.diff' -o -name '*.tar.gz' \)`; do cp $i . patches_defs="-DWITH_PATCHES" done |