diff options
Diffstat (limited to '.cirrus/Dockerfile.ubuntu16.04')
| -rw-r--r-- | .cirrus/Dockerfile.ubuntu16.04 | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/.cirrus/Dockerfile.ubuntu16.04 b/.cirrus/Dockerfile.ubuntu16.04 index fb140d8d..1b93cfb8 100644 --- a/.cirrus/Dockerfile.ubuntu16.04 +++ b/.cirrus/Dockerfile.ubuntu16.04 @@ -27,7 +27,7 @@ RUN set -e -x ;\ cd /usr/local/src ;\ git clone --recursive https://github.com/cliffordwolf/icestorm.git ;\ cd icestorm ;\ - git reset --hard 9671b760f84ca4006f0ef101a3e3b201df4eabb5 ;\ + git reset --hard 3a2bfee5cbc0558641668114260d3f644d6b7c83 ;\ make -j $(nproc) ;\ make install @@ -51,5 +51,3 @@ RUN set -e -x ;\ cmake -DCMAKE_INSTALL_PREFIX=/usr . ;\ make -j $(nproc) ;\ make install - - |