diff --git a/mps/tool/test-runner.py b/mps/tool/test-runner.py index 014abe096e4..732b8638135 100755 --- a/mps/tool/test-runner.py +++ b/mps/tool/test-runner.py @@ -80,10 +80,6 @@ def mpsplatformcode() : mpsplatform = mpsplatformcode() -print "mpsplatform = ", mpsplatform - -exit - make = '' if mpsplatform[4:6] == 'gc' : make = "make -r -f %s.gmk VARIETY=%%s %%s >> %%s" % mpsplatform