diff --git a/mps/tool/test-runner.py b/mps/tool/test-runner.py index 197902eb6b7..625f14e9823 100755 --- a/mps/tool/test-runner.py +++ b/mps/tool/test-runner.py @@ -120,7 +120,7 @@ runtestlist([ "awluthe", "mpsicv", "messtest", - ], ["ci", "ce", "hi", "he", "we", "wi", "ti"], testout) + ], ["we", "hi", "di", "ci"], testout) os.system("echo DONE")