#!/bin/bash
echo urde-$1-win32-$2-sse2.exe > $3
echo urde-$1-win32-$2-sse41.exe >> $3
echo urde-$1-win32-$2-avx.exe >> $3
echo urde-$1-win32-$2-avx2.exe >> $3

#!/bin/bash
echo urde-$1-win32-$2-sse2.zip > $3
echo urde-$1-win32-$2-sse41.zip >> $3
echo urde-$1-win32-$2-avx.zip >> $3
echo urde-$1-win32-$2-avx2.zip >> $3

Correct filenames for win32 index script
Correct filenames for win32 index script
