Revert "nightly: use make -de"
commit4eabb51847d61e5ef7e16158af3bac934ab73836
authorLauri Tirkkonen <lotheac@iki.fi>
Tue, 28 Aug 2018 14:08:21 +0000 (28 17:08 +0300)
committerLauri Tirkkonen <lotheac@iki.fi>
Tue, 28 Aug 2018 14:08:21 +0000 (28 17:08 +0300)
treeade190c2e333c8de4a20dbe87394d8034ff9bfd3
parent1c8ff605b34b8877292dbf20854a8dc67980c54f
Revert "nightly: use make -de"

This reverts commit 6836ca262ce0e2e6fdbdb71e86764e49c4f4abcc.

we now have a reproducer for the make/sh problem so no need for this
anymore (and it didn't help anyways)
tools/nightly.sh