

set -ex



raxmlHPC -h > /dev/null
raxmlHPC-PTHREADS -h > /dev/null
raxmlHPC-SSE3 -h > /dev/null
raxmlHPC-PTHREADS-SSE3 -h > /dev/null
raxmlHPC-AVX2 -h > /dev/null
raxmlHPC-PTHREADS-AVX2 -h > /dev/null
exit 0
