tree d421a07111185fc48c48e36a1a898ed92b76427d
parent cd3b05e0b069f4407e4c0fa738c18cb0b0222b87
author Andrew Jeffery <andrew@aj.id.au> 1527229348 +0930
committer Andrew Jeffery <andrew@aj.id.au> 1552886209 +1030

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>