diff options
Diffstat (limited to 'scripts/generate-pd-settings-files.sh')
| -rwxr-xr-x | scripts/generate-pd-settings-files.sh | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/scripts/generate-pd-settings-files.sh b/scripts/generate-pd-settings-files.sh index e00db37b..863457f0 100755 --- a/scripts/generate-pd-settings-files.sh +++ b/scripts/generate-pd-settings-files.sh @@ -174,6 +174,9 @@ print_windows_helppath i=0 IFS=' ' +# add Windows-only libs here, these are objects whose names have chars +# that cannot exist on Windows filesystems +LIBS="$LIBS zexy/0x260x260x7e zexy/0x2e zexy/0x3c0x7e zexy/0x3d0x3d0x7e zexy/0x3e0x7e zexy/0x7c0x7c0x7e" for lib in $LIBS; do case "$lib" in pdp) ${ECHO} -n "(ignoring $lib on Windows) " ;; |