diff options
author | Klement Sekera <ksekera@cisco.com> | 2017-10-17 07:59:31 +0200 |
---|---|---|
committer | Damjan Marion <dmarion.lists@gmail.com> | 2017-10-19 12:36:03 +0000 |
commit | 41a9e51f65aae3639771d9af53e810b43a5aee19 (patch) | |
tree | 902928df6265811702359c61680c17cdbb9ff205 /src/plugins | |
parent | 5e5028ed577ac1641f2a8d00136abe13b2fb15c5 (diff) |
make test: control sanity via SANITY=yes|no option
Allow skipping sanity when using DEBUG=gdb/gdbserver options to speed
up development process by supplying SANITY=no option to make test.
Change-Id: I6e619229f6866b22bdeb75654b4e750232ae22bd
Signed-off-by: Klement Sekera <ksekera@cisco.com>
Diffstat (limited to 'src/plugins')
0 files changed, 0 insertions, 0 deletions