diff options
author | 2017-10-17 07:59:31 +0200 | |
---|---|---|
committer | 2017-10-19 12:36:03 +0000 | |
commit | 41a9e51f65aae3639771d9af53e810b43a5aee19 (patch) | |
tree | 902928df6265811702359c61680c17cdbb9ff205 /extras/rpm | |
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 'extras/rpm')
0 files changed, 0 insertions, 0 deletions