diff options
Diffstat (limited to '.cirrus/Dockerfile.ubuntu16.04')
-rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index a1d254e3..92ab2bae 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -37,7 +37,7 @@ RUN set -e -x ;\ cd /usr/local/src ;\ git clone --recursive https://github.com/YosysHQ/yosys.git ;\ cd yosys ;\ - git reset --hard 292f03355a425ede48051c79d5bf619591531080 ;\ + git reset --hard cd8b2ed4e6f9447c94d801de7db7ae6ce0976d57 ;\ make -j $(nproc) ;\ make install ;\ rm -rf /usr/local/src/yosys |