diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-22 11:03:19 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-09-22 11:03:19 +0200 |
| commit | 38152410fbff407a9f5d50f0496ea149311238be (patch) | |
| tree | 7a8e0b4fdbbdad52e787c81f1c06607ec18c8f1c /mk/run_test.sh | |
| parent | ecc8672aa007af045d77434b495ca09541e9fee3 (diff) | |
| parent | 97b5154750d911a05992b97d7404d813d924de73 (diff) | |
Merge pull request #4048 from tweag/dont-fortify-on-dev
Disable `FORTIFY_SOURCE` when compiling without optims
Diffstat (limited to 'mk/run_test.sh')
0 files changed, 0 insertions, 0 deletions