diff options
-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 |