diff options
author | Michel Zou | 2018-11-26 19:42:54 +0100 |
---|---|---|
committer | Michel Zou | 2018-11-26 19:42:54 +0100 |
commit | a03f6d0d0aeb73ac6c5aa7096f33f58e8fc18520 (patch) | |
tree | 5fa324b051804a2b4f5888179cf1a651cc4a8a3c | |
parent | c917a77ef845e99c0fd469591a88c4812c870dc9 (diff) | |
download | aur-a03f6d0d0aeb73ac6c5aa7096f33f58e8fc18520.tar.gz |
ftree-vrp
-rw-r--r-- | PKGBUILD | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -23,7 +23,7 @@ build() { cd aGrUM-$pkgver for _arch in ${_architectures}; do mkdir -p build-${_arch} && pushd build-${_arch} - CXXFLAGS="-fno-strict-aliasing -fno-tree-vrp" ${_arch}-cmake -DBUILD_PYTHON=OFF .. + CXXFLAGS="-fno-strict-aliasing" ${_arch}-cmake -DBUILD_PYTHON=OFF .. make popd done |