diff options
author | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-10-11 20:25:39 (GMT) |
---|---|---|
committer | Stefan Radomski <radomski@tk.informatik.tu-darmstadt.de> | 2013-10-11 20:25:39 (GMT) |
commit | ef551cb937956e2c13570ab3f8f119c48fa5656e (patch) | |
tree | fb12268c38f7bbdddd583859d8c615411048d071 /contrib/ctest/tests/plugins.ctest | |
parent | 1924f35d1d21a59939110f7eae238052c37474e2 (diff) | |
download | uscxml-ef551cb937956e2c13570ab3f8f119c48fa5656e.zip uscxml-ef551cb937956e2c13570ab3f8f119c48fa5656e.tar.gz uscxml-ef551cb937956e2c13570ab3f8f119c48fa5656e.tar.bz2 |
Reactivated plugin system
Diffstat (limited to 'contrib/ctest/tests/plugins.ctest')
-rw-r--r-- | contrib/ctest/tests/plugins.ctest | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/contrib/ctest/tests/plugins.ctest b/contrib/ctest/tests/plugins.ctest new file mode 100644 index 0000000..a983bb9 --- /dev/null +++ b/contrib/ctest/tests/plugins.ctest @@ -0,0 +1,2 @@ +set(CTEST_BUILD_OPTIONS "-DBUILD_AS_PLUGINS=ON -DENABLE_GCOV:BOOL=ON") +set(CTEST_BUILD_NAME "${CTEST_BUILD_NAME} - plugins")
\ No newline at end of file |