From c5dbb1aa28f5fb10ebbc0696545ede6fa76ce20b Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Fri, 7 Nov 2014 15:47:18 +0100
Subject: [PATCH] Minor corrections in CodingReadme

---
 CodingReadme | 7 +++----
 1 file changed, 3 insertions(+), 4 deletions(-)

diff --git a/CodingReadme b/CodingReadme
index 0e3ff6949..88f16ff0a 100644
--- a/CodingReadme
+++ b/CodingReadme
@@ -137,7 +137,7 @@ Update the CHANGELOG file:
 	vi CHANGELOG
 
 
-Run all tests with "make config-{clang-debug,gcc-debug,gcc-4.6,release}":
+Run all tests with "make config-{clang,gcc,gcc-4.6}":
 
 	cd ~yosys
 	make clean
@@ -149,9 +149,8 @@ Run all tests with "make config-{clang-debug,gcc-debug,gcc-4.6,release}":
 	make full
 
 	cd ~vloghammer
-	make purge
-	make gen_issues gen_samples
-	make SYN_LIST="yosys" SIM_LIST="icarus yosim verilator" FULL=1 world
+	make purge gen_issues gen_samples
+	make SYN_LIST="yosys" SIM_LIST="icarus yosim verilator" REPORT_FULL=1 world
 	chromium-browser report.html