Try to fix 32-bit Windows build.

diff --git a/platform/windows/wscript b/platform/windows/wscript
index c42bbca7ff231a1d252a99d067ee973e1093774d..9d0dd957a0c7b1457b061fa067f7d0ee64d9af0d 100644 (file)
--- a/platform/windows/wscript
+++ b/platform/windows/wscript
@@ -80,7 +80,14 @@ File "%static_deps%/bin/libboost_date_time-mt.dll"
 File "%static_deps%/bin/libboost_locale-mt.dll"
 File "%static_deps%/bin/libboost_regex-mt.dll"
 File "%static_deps%/bin/libeay32.dll"
-File "%static_deps%/bin/libgcc_s_seh-1.dll"
+""", file=f)
+
+if bits == 32:
+    print('File "%static_deps%/bin/libgcc_s_sjlj-1.dll"', file=f)
+else:
+    print('File "%static_deps%/bin/libgcc_s_seh-1.dll"', file=f)
+
+    print("""
 File "%static_deps%/bin/libgio-2.0-0.dll"
 File "%static_deps%/bin/libglib-2.0-0.dll"
 File "%static_deps%/bin/libgobject-2.0-0.dll"