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
..
default.nix	Remove redundant -DCMAKE_BUILD_TYPE=Release flags	2016-10-01 16:13:41 +02:00
purity.patch	llvm: 3.6 -> 3.7 (close #9815)	2015-09-14 23:47:20 +02:00