diff options
author | Sergei Golubchik <serg@mariadb.org> | 2017-12-03 02:17:12 +0100 |
---|---|---|
committer | Sergei Golubchik <serg@mariadb.org> | 2017-12-25 12:00:51 +0100 |
commit | 9631d933fbc2ec998746d49e1c2134d57947705a (patch) | |
tree | 9443aa656c44af764fab94755cf674e7e1fcd8d4 /cmake/ctest.cmake | |
parent | f0f3b6549a5924a194e8ce56a0c47443acbb506e (diff) | |
download | mariadb-git-9631d933fbc2ec998746d49e1c2134d57947705a.tar.gz |
debian: don't be smart about skipping plugins
Diffstat (limited to 'cmake/ctest.cmake')
0 files changed, 0 insertions, 0 deletions