diff options
Diffstat (limited to 'install-win32/getpkcs11helper')
| -rw-r--r-- | install-win32/getpkcs11helper | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/install-win32/getpkcs11helper b/install-win32/getpkcs11helper index 7399c1b..2a34c6e 100644 --- a/install-win32/getpkcs11helper +++ b/install-win32/getpkcs11helper @@ -8,7 +8,9 @@ if [ -d "$PKCS11_HELPER_DIR" ] ; then mkdir -p $GENOUT/lib &>/dev/null for f in libpkcs11-helper-1.dll ; do cp $PKCS11_HELPER_DIR/bin/$f $GENOUT/lib - strip $GENOUT/lib/$f + if [ -z "$NO_STRIP" ]; then + strip $GENOUT/lib/$f + fi done else echo PKCS11-helper DIR $PKCS11_HELPER_DIR NOT FOUND |