diff --git a/wrap/python/tests/Makefile.am b/wrap/python/tests/Makefile.am index 406cf1a7e..b75a1d3b9 100644 --- a/wrap/python/tests/Makefile.am +++ b/wrap/python/tests/Makefile.am @@ -25,7 +25,7 @@ EXTRA_DIST = \ $(TESTS) \ ltl2tgba.py -TESTS_ENVIRONMENT = ./run +LOG_COMPILER = ./run # ensure run is rebuilt before the tests are run. check_SCRIPTS = run