From: Eddie Hung <eddie@fpgeh.com>
Date: Thu, 27 Jun 2019 19:53:23 +0000 (-0700)
Subject: Merge remote-tracking branch 'origin/master' into xaig
X-Git-Tag: working-ls180~1237^2~11^2
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9a371cfba925d247c63d5c33d50d272adf8356cc;p=yosys.git

Merge remote-tracking branch 'origin/master' into xaig
---

9a371cfba925d247c63d5c33d50d272adf8356cc
diff --cc Makefile
index fd4e90c15,67bcb3d15..6c5a436c1
--- a/Makefile
+++ b/Makefile
@@@ -681,7 -681,7 +681,8 @@@ test: $(TARGETS) $(EXTRA_TARGETS
  	+cd tests/svinterfaces && bash run-test.sh $(SEEDOPT)
  	+cd tests/opt && bash run-test.sh
  	+cd tests/aiger && bash run-test.sh
+ 	+cd tests/arch && bash run-test.sh
 +	+cd tests/simple_abc9 && bash run-test.sh $(SEEDOPT)
  	@echo ""
  	@echo "  Passed \"make test\"."
  	@echo ""