diff options
author | André Nusser <andre.nusser@googlemail.com> | 2016-01-18 11:40:44 +0100 |
---|---|---|
committer | André Nusser <andre.nusser@googlemail.com> | 2016-01-18 11:40:44 +0100 |
commit | e031aa795657f4b55227a8547592b39eb4ad7585 (patch) | |
tree | 4f95d4838414bc05453f69d1a0d2fb44e2d8019a /kits | |
parent | e7baaea9d72d4b39d9f6ee4142d37ed2cbcd22fe (diff) |
Small correction to run_test.sh such that make doesn't search for check.
Diffstat (limited to 'kits')
0 files changed, 0 insertions, 0 deletions