Aneesh Agrawal fcee1d0b28
Remove redundant -DCMAKE_BUILD_TYPE=Release flags
Since commit 183d05a0 in 2012, this is the default.

fixes #18000
2016-10-01 16:13:41 +02:00
..
2015-08-18 02:18:04 -07:00
2015-02-03 13:58:32 -08:00
2015-02-03 13:58:32 -08:00
2015-08-18 02:18:04 -07:00
2015-08-18 02:18:04 -07:00
2016-08-03 19:00:39 +01:00
2015-02-03 13:58:32 -08:00
2016-08-03 19:00:39 +01:00
2015-02-03 13:58:32 -08:00