diff --git a/start b/start new file mode 100644 index 0000000000000000000000000000000000000000..8d2bb35e2d7e30d22b618150a5c3381c19b3e0e8 --- /dev/null +++ b/start @@ -0,0 +1,5 @@ +#!/bin/bash +export MKL_NUM_THREADS=1 +export NUMEXPR_NUM_THREADS=1 +export OMP_NUM_THREADS=1 +exec "$@"