diff --git a/test-tier3/run b/test-tier3/run index 19f5690e..23454bc0 100755 --- a/test-tier3/run +++ b/test-tier3/run @@ -13,6 +13,7 @@ sed -i '/^#include /a#include ' /usr/include/testlib_themis_cms mkdir /judge cd /judge || exit curl -L https://github.com/VNOI-Admin/judge-server/archive/master.tar.gz | tar -xz --strip-components=1 +sed -i "s/ALLOW_FAIL = {'GASARM', 'OBJC'}/ALLOW_FAIL = {'GASARM', 'OBJC', 'CLANGX', 'HASK'}/g" .docker.test.py python3 -m venv --prompt=DMOJ env env/bin/pip3 install -e . runuser -u judge -w PATH -- bash -c '. ~/.profile; /judge/env/bin/python3 -u .docker.test.py'