convenience script all-tests to run all available tests and store result
authorThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 09:53:03 +0000 (10:53 +0100)
committerThierry Parmentelat <thierry.parmentelat@inria.fr>
Sun, 1 Nov 2015 09:53:03 +0000 (10:53 +0100)
commit3828dc46494f2d77c8c7ec1e1ec45d2985fc71a4
tree8ea053fe14c3fa1d673ecb040e773c119bd3b629
parent342187d6e7ce34d4fdf403952637659b93aa4bee
convenience script all-tests to run all available tests and store result
Makefile
all-tests [new file with mode: 0755]