| commit | f2086fcd89b53be4842109b06012489acbf7a390 | [log] [tgz] |
|---|---|---|
| author | Andrew Jeffery <andrew@aj.id.au> | Fri May 25 15:52:28 2018 +0930 |
| committer | Andrew Jeffery <andrew@aj.id.au> | Mon Mar 18 15:46:49 2019 +1030 |
| tree | d421a07111185fc48c48e36a1a898ed92b76427d | |
| parent | cd3b05e0b069f4407e4c0fa738c18cb0b0222b87 [diff] |
bootstrap: Add dev mode Running `./bootstrap.sh dev` enables various sanitisers in GCC and code-coverage targets in the generated Makefile. `./configure` is run automatically as part of dev mode, as it is a shortcut for adding the above options to the configure script invocation. Change-Id: I48b9a312f438efd070ad5f982be80326894b1141 Signed-off-by: Andrew Jeffery <andrew@aj.id.au>