diff options
| author | Richard Trembecký <richardt@centrum.sk> | 2016-05-14 16:08:29 +0200 |
|---|---|---|
| committer | Dan Liew <delcypher@gmail.com> | 2017-02-22 14:47:25 +0000 |
| commit | d88cec521019e39854c5a0926efb8919313c6e3a (patch) | |
| tree | 0ba8dbc37e9318c88f08ae4c3aa11808adc2877c /include | |
| parent | 62ee2e574b9f920e6679c91da25f8941552277d9 (diff) | |
| download | klee-d88cec521019e39854c5a0926efb8919313c6e3a.tar.gz | |
Makefile: change -std-compile-opts to -O3
As per: http://llvm.org/releases/3.6.0/docs/ReleaseNotes.html#the-opt-option-std-compile-opts-was-removed the -std-compile-opts was effectively an alias of -O3. And since it was removed in later LLVM versions, stop relying on that. Signed-off-by: Jiri Slaby <jirislaby@gmail.com>
Diffstat (limited to 'include')
0 files changed, 0 insertions, 0 deletions