diff options
-rw-r--r-- | coin/platform_configs/default.yaml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/coin/platform_configs/default.yaml b/coin/platform_configs/default.yaml index a2499e16..dab36910 100644 --- a/coin/platform_configs/default.yaml +++ b/coin/platform_configs/default.yaml @@ -1,6 +1,6 @@ - Template: 'qtci-linux-Ubuntu-18.04-x86_64' Compiler: 'GCC' - Configure arguments: '-DBUILD_EXAMPLES=OFF -DFEATURE_developer_build=ON' + Configure arguments: '-DBUILD_EXAMPLES=ON -DFEATURE_developer_build=ON' - Template: 'qtci-linux-openSUSE-15.0-x86_64' Compiler: 'ICC_18' Configure arguments: '-DBUILD_EXAMPLES=OFF -DBUILD_SHARED_LIBS=OFF' |