#!/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