From: Timo Heister <timo.heister@gmail.com>
Date: Sun, 17 Apr 2022 18:55:32 +0000 (-0400)
Subject: Merge pull request #284 from tjhei/native_o3
X-Git-Tag: v9.4.0-r1~5
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1845c91625fbd3b5fa13589682e02a6fdf49b461;p=candi.git

Merge pull request #284 from tjhei/native_o3

native optimizations: enable -O3
---

1845c91625fbd3b5fa13589682e02a6fdf49b461