summaryrefslogtreecommitdiffstats
path: root/contrib/ctest/tests/plugins.ctest
diff options
context:
space:
mode:
authorStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2013-10-11 20:25:39 (GMT)
committerStefan Radomski <radomski@tk.informatik.tu-darmstadt.de>2013-10-11 20:25:39 (GMT)
commitef551cb937956e2c13570ab3f8f119c48fa5656e (patch)
treefb12268c38f7bbdddd583859d8c615411048d071 /contrib/ctest/tests/plugins.ctest
parent1924f35d1d21a59939110f7eae238052c37474e2 (diff)
downloaduscxml-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.ctest2
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