diff options
| -rw-r--r-- | testsuite/timeout/Makefile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/testsuite/timeout/Makefile b/testsuite/timeout/Makefile index 40d71e0881..6d2b4dd861 100644 --- a/testsuite/timeout/Makefile +++ b/testsuite/timeout/Makefile @@ -21,9 +21,8 @@ boot :: python-timeout endif calibrate.out: - chmod +x calibrate rm -f Calibrate.o Calibrate.hi Calibrate - ./calibrate "$(HC)" > $@ + $(PYTHON) calibrate "$(HC)" > $@ python-timeout: cp timeout.py timeout |