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 /libs | |
| parent | 34c9fbab5367133fe6e0365068f78762ded70623 (diff) | |
| download | yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.tar.gz yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.tar.bz2 yosys-1b231b442c576bacc5d25a35a5846f896394e2f1.zip | |
minisat: Make update script executable.
Diffstat (limited to 'libs')
| -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 |