From 0fcc8c14674aecf6cf327740e6081bf722d806f6 Mon Sep 17 00:00:00 2001
From: Clifford Wolf <clifford@clifford.at>
Date: Sun, 8 Feb 2015 15:13:51 +0100
Subject: [PATCH] Minor "make vgtest" changes

---
 CodingReadme | 6 +++++-
 Makefile     | 2 +-
 2 files changed, 6 insertions(+), 2 deletions(-)

diff --git a/CodingReadme b/CodingReadme
index c509f6962..5769c85f9 100644
--- a/CodingReadme
+++ b/CodingReadme
@@ -286,7 +286,8 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}":
 
 	cd ~yosys
 	make clean
-	make test vloghtb
+	make test
+	make vloghtb
 	make install
 
 	cd ~yosys-bigsim
@@ -301,6 +302,9 @@ Run all tests with "make config-{clang,gcc,gcc-4.6}":
 
 Then with default config setting:
 
+	cd ~yosys
+	make vgtest
+
 	cd ~yosys
 	./yosys -p 'proc; show' tests/simple/fiedler-cooley.v
 	./yosys -p 'proc; opt; show' tests/simple/fiedler-cooley.v
diff --git a/Makefile b/Makefile
index fcd166a1c..05f18695a 100644
--- a/Makefile
+++ b/Makefile
@@ -320,7 +320,7 @@ test: $(TARGETS) $(EXTRA_TARGETS)
 VALGRIND ?= valgrind --error-exitcode=1 --leak-check=full --show-reachable=yes --errors-for-leak-kinds=all
 
 vgtest: $(TARGETS) $(EXTRA_TARGETS)
-	$(VALGRIND) ./yosys -p 'setattr -mod -unset top; hierarchy; proc; opt; memory -nomap; opt -fine; techmap; opt' $$( ls tests/simple/*.v | grep -v repwhile.v )
+	$(VALGRIND) ./yosys -p 'setattr -mod -unset top; synth' $$( ls tests/simple/*.v | grep -v repwhile.v )
 	@echo ""
 	@echo "  Passed \"make vgtest\"."
 	@echo ""
-- 
2.30.2