From 8d641456a1167452cd0df20e6fb115702227b41a Mon Sep 17 00:00:00 2001 From: Jan Sarenik Date: Tue, 22 May 2018 19:25:47 +0200 Subject: [PATCH] doc/HACKING.md: remove note about DEVELOPER mode being default The DEVELOPER mode is not the default since 00e75fee, change the documentation accordingly. --- doc/HACKING.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/doc/HACKING.md b/doc/HACKING.md index 1d9a73a4a..76f0a4cdb 100644 --- a/doc/HACKING.md +++ b/doc/HACKING.md @@ -162,7 +162,7 @@ Testing ------- There are three kinds of tests. For best results, you should have -valgrind installed, and build with DEVELOPER=1 (currently the default). +valgrind installed, and build with DEVELOPER=1. * source tests - run by `make check-source`, looks for whitespace, header order, and checks formatted quotes from BOLTs if BOLTDIR