diff options
author | Tim 'mithro' Ansell <mithro@mithis.com> | 2017-11-24 15:37:35 +1100 |
---|---|---|
committer | Tim 'mithro' Ansell <mithro@mithis.com> | 2017-11-25 19:48:26 -0800 |
commit | 1b231b442c576bacc5d25a35a5846f896394e2f1 (patch) | |
tree | 801fb55ed7aa804eea005776a972beeaed1b849e | |
parent | 34c9fbab5367133fe6e0365068f78762ded70623 (diff) | |
download | yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.tar.gz yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.tar.bz2 yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.zip |
minisat: Make update script executable.
-rwxr-xr-x[-rw-r--r--] | libs/minisat/00_UPDATE.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh index ea26215ab..ea26215ab 100644..100755 --- a/libs/minisat/00_UPDATE.sh +++ b/libs/minisat/00_UPDATE.sh |