aboutsummaryrefslogtreecommitdiffstats
path: root/.gitreview
diff options
context:
space:
mode:
authorKlement Sekera <ksekera@cisco.com>2017-10-17 07:59:31 +0200
committerDamjan Marion <dmarion.lists@gmail.com>2017-10-19 12:36:03 +0000
commit41a9e51f65aae3639771d9af53e810b43a5aee19 (patch)
tree902928df6265811702359c61680c17cdbb9ff205 /.gitreview
parent5e5028ed577ac1641f2a8d00136abe13b2fb15c5 (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 '.gitreview')
0 files changed, 0 insertions, 0 deletions