diff options
author | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 22:59:26 (GMT) |
---|---|---|
committer | Daniel Narvaez <dwnarvaez@gmail.com> | 2012-12-26 22:59:26 (GMT) |
commit | 9fd827f5502216fdb06caedeedabcefb6bf426dc (patch) | |
tree | d29ee64409941702815ecd98897872da52cfbb19 /Makefile | |
parent | 7733514f0860ed1529c9effe831aa683cdc7d3c4 (diff) |
Actually run devbot tests
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1,7 +1,7 @@ SOURCE_DIR=$(CURDIR)/source BUILD_DIR=$(CURDIR)/build COMMANDS_DIR=$(CURDIR)/commands -HOME_DIR=$(CURDIR)/home +TESTS_DIR=$(CURDIR)/tests TOOLS_DIR=$(CURDIR)/tools BASE_DIR=$(CURDIR) TIME=time -f "\n= Time =\n\nreal\t%e\nuser\t%U\nsys\t%S\n" |