nightly: use make -de
commit6836ca262ce0e2e6fdbdb71e86764e49c4f4abcc
authorLauri Tirkkonen <lotheac@iki.fi>
Fri, 10 Aug 2018 11:48:21 +0000 (10 14:48 +0300)
committerLauri Tirkkonen <lotheac@iki.fi>
Fri, 10 Aug 2018 12:54:21 +0000 (10 15:54 +0300)
tree87ec57039b15fa1cea8049c904bafe408273e734
parentca3ed5728b63a906ae31a8fb782eac3549373994
nightly: use make -de

there seems to be a hard-to-repro failure somewhere in kernel/; perhaps
this will help catch it
tools/nightly.sh