From: Tim 'mithro' Ansell Date: Fri, 24 Nov 2017 04:37:35 +0000 (+1100) Subject: minisat: Make update script executable. X-Git-Tag: yosys-0.8~266^2 X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=1b231b442c576bacc5d25a35a5846f896394e2f1;p=yosys.git minisat: Make update script executable. --- diff --git a/libs/minisat/00_UPDATE.sh b/libs/minisat/00_UPDATE.sh old mode 100644 new mode 100755