diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-19 14:08:25 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2021-05-19 14:08:25 -0500 |
| commit | 8c8410a82c17fc4a96aa52dcad2d015c183cf054 (patch) | |
| tree | 8ee4c81339c7587b76a6c1f923ecd5567d1b68c4 /contrib | |
| parent | e893e6e62301cd6b5abf67c97150faaeb9112721 (diff) | |
Update LFSC commit
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 3bbd1734e..216451c49 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="44296371894b45a4d3ee7f5ae5720fd5aff7e93f" +sig_version="4e41b34977e960c3765c8d2d49b8835580a7b04c" 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 |