Merge pull request #463 from YosysHQ/fix-archcheck

Fix arch checks, and add these to CI

1 files changed, 2 insertions, 2 deletions

diff --git a/common/archcheck.cc b/common/archcheck.cc
index 3d9e4e76..7b727e9b 100644
--- a/common/archcheck.cc
+++ b/common/archcheck.cc
@@ -47,14 +47,14 @@ void archcheck_names(const Context *ctx)
         WireId wire2 = ctx->getWireByName(name);
         log_assert(wire == wire2);
     }
-
+#ifndef ARCH_ECP5
     log_info("Checking pip names..\n");
     for (PipId pip : ctx->getPips()) {
         IdString name = ctx->getPipName(pip);
         PipId pip2 = ctx->getPipByName(name);
         log_assert(pip == pip2);
     }
-
+#endif
     log_break();
 }