#!/bin/bash
echo urde-$1-linux-$2-sse3.tar.xz > $3
echo urde-$1-linux-$2-sse41.tar.xz >> $3
echo urde-$1-linux-$2-avx.tar.xz >> $3
echo urde-$1-linux-$2-avx2.tar.xz >> $3