diff options
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/get-lfsc-checker | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/get-lfsc-checker b/contrib/get-lfsc-checker index ad3e81ac2..b0e2c7be3 100755 --- a/contrib/get-lfsc-checker +++ b/contrib/get-lfsc-checker @@ -40,7 +40,7 @@ SIG_DIR="$BASE_DIR/lfsc-signatures" mkdir -p $SIG_DIR # download and unpack signatures -sig_version="768cfda32847e7ba6b846d5e4e6e92e89b66aee1" +sig_version="43b9b5939aac2939c9bd7d6240cb01172351a0e4" download "https://github.com/CVC4/signatures/archive/$sig_version.tar.gz" $BASE_DIR/tmp/signatures.tgz tar --strip 1 -xzf $BASE_DIR/tmp/signatures.tgz -C $SIG_DIR |