Martine S. Lenders da3fdd33d1 tools: add capability to provide make command via environment ... Not all operating systems name the GNU Make `make`. FreeBSD e.g. uses a different dialect of Make, that seems to be incompatible with GNU make. (I wasn't able to get `make` run, but `gmake` works). This allows our test scripts to be configured via the environment variable `MAKE` to point to a different make command.		2020-07-08 09:36:36 +02:00
..
__init__.py	dist/testrunner: Capture number of unittests that passed	2020-04-03 14:52:48 +02:00
spawn.py	tools: add capability to provide make command via environment	2020-07-08 09:36:36 +02:00
unittest.py	dist/pythonlibs: provide unittest TestCase wrapper for testrunner	2019-01-29 21:16:39 +01:00
utils.py	tests: add interactive_sync adapted to shell	2020-03-17 17:23:27 +01:00