diff options
Diffstat (limited to '.install_verilator.sh')
| -rw-r--r-- | .install_verilator.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.install_verilator.sh b/.install_verilator.sh index 84cf543e..637ef91c 100644 --- a/.install_verilator.sh +++ b/.install_verilator.sh @@ -6,7 +6,7 @@ if [ ! -f $INSTALL_DIR/bin/verilator ]; then unset VERILATOR_ROOT cd verilator git pull - git checkout verilator_3_880 + git checkout verilator_3_886 autoconf ./configure --prefix=$INSTALL_DIR make |