From 5f241f6baafd8e2e63f6058116d391707d410af0 Mon Sep 17 00:00:00 2001
From: David Shah <dave@ds0.me>
Date: Mon, 13 Jul 2020 11:33:55 +0100
Subject: [PATCH] ci: Bump prjtrellis version

Signed-off-by: David Shah <dave@ds0.me>
---
 .cirrus/Dockerfile.ubuntu16.04 | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04
index d98bb014..a1d254e3 100644
--- a/.cirrus/Dockerfile.ubuntu16.04
+++ b/.cirrus/Dockerfile.ubuntu16.04
@@ -47,7 +47,7 @@ RUN set -e -x ;\
     cd /usr/local/src ;\
     git clone --recursive https://github.com/YosysHQ/prjtrellis.git ;\
     cd prjtrellis ;\
-    git reset --hard f93243b000c52b755c70829768d2ae6bcf7bb91a ;\
+    git reset --hard 7831b54f619d6695855525fca776543b7c827704 ;\
     cd libtrellis ;\
     cmake . ;\
     make -j $(nproc) ;\