From 740c30f31479d75ba09009f6ed556261888a2fdb Mon Sep 17 00:00:00 2001 From: Tim King Date: Wed, 4 Jan 2017 12:59:16 -0800 Subject: [PATCH] Setting the executable bit for the newer run scripts in contrib. --- contrib/run-script-cascj8-fnt | 0 contrib/run-script-cascj8-fof | 0 contrib/run-script-cascj8-tfa | 0 contrib/run-script-cascj8-tfn | 0 contrib/run-script-smtcomp2016 | 0 contrib/run-script-smtcomp2016-application | 0 contrib/run-script-sygusComp2016-CLIA | 0 contrib/run-script-sygusComp2016-INV | 0 contrib/run-script-sygusComp2016-PBE | 0 9 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 contrib/run-script-cascj8-fnt mode change 100644 => 100755 contrib/run-script-cascj8-fof mode change 100644 => 100755 contrib/run-script-cascj8-tfa mode change 100644 => 100755 contrib/run-script-cascj8-tfn mode change 100644 => 100755 contrib/run-script-smtcomp2016 mode change 100644 => 100755 contrib/run-script-smtcomp2016-application mode change 100644 => 100755 contrib/run-script-sygusComp2016-CLIA mode change 100644 => 100755 contrib/run-script-sygusComp2016-INV mode change 100644 => 100755 contrib/run-script-sygusComp2016-PBE diff --git a/contrib/run-script-cascj8-fnt b/contrib/run-script-cascj8-fnt old mode 100644 new mode 100755 diff --git a/contrib/run-script-cascj8-fof b/contrib/run-script-cascj8-fof old mode 100644 new mode 100755 diff --git a/contrib/run-script-cascj8-tfa b/contrib/run-script-cascj8-tfa old mode 100644 new mode 100755 diff --git a/contrib/run-script-cascj8-tfn b/contrib/run-script-cascj8-tfn old mode 100644 new mode 100755 diff --git a/contrib/run-script-smtcomp2016 b/contrib/run-script-smtcomp2016 old mode 100644 new mode 100755 diff --git a/contrib/run-script-smtcomp2016-application b/contrib/run-script-smtcomp2016-application old mode 100644 new mode 100755 diff --git a/contrib/run-script-sygusComp2016-CLIA b/contrib/run-script-sygusComp2016-CLIA old mode 100644 new mode 100755 diff --git a/contrib/run-script-sygusComp2016-INV b/contrib/run-script-sygusComp2016-INV old mode 100644 new mode 100755 diff --git a/contrib/run-script-sygusComp2016-PBE b/contrib/run-script-sygusComp2016-PBE old mode 100644 new mode 100755 -- 2.30.2