diff options
author | Thomas Arnhold <thomas@arnhold.org> | 2011-02-09 14:26:47 +0100 |
---|---|---|
committer | Thomas Arnhold <thomas@arnhold.org> | 2011-02-09 14:26:47 +0100 |
commit | c522fed1a2aaeaa86d25cef26f288dab2e195cef (patch) | |
tree | ef4b44230bfbe4be1d8a197811933881de6e6cdc /ure/source/uretest | |
parent | 7f9ccd248d9fcabb3883ab7d5c15dad661c916b9 (diff) |
make test -> make check
Diffstat (limited to 'ure/source/uretest')
-rw-r--r-- | ure/source/uretest/Makefile.pln | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ure/source/uretest/Makefile.pln b/ure/source/uretest/Makefile.pln index d5062a56810d..e8ec32056bde 100644 --- a/ure/source/uretest/Makefile.pln +++ b/ure/source/uretest/Makefile.pln @@ -40,8 +40,8 @@ GXX_INCLUDE_PATH ?= /usr/include/g++ .DELETE_ON_ERROR: -.PHONY: test -test: test-regview test-cpptest test-javatest test-javanative test-clientserver +.PHONY: check +check: test-regview test-cpptest test-javatest test-javanative test-clientserver .PHONY: test-regview test-regview: out.pln/services.rdb |