ci: Bump prjtrellis version

Signed-off-by: David Shah <dave@ds0.me>
2020-07-13 11:33:55 +01:00 · 2020-07-13 11:33:55 +01:00 · 5f241f6baa
commit 5f241f6baa
parent 00d702086a
1 changed files with 1 additions and 1 deletions
--- 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) ;\