From 3c57c67ce3d5d4d938b15338ffa919bc41b4316a Mon Sep 17 00:00:00 2001 From: Matthias Grob Date: Thu, 9 Sep 2021 16:17:06 +0200 Subject: [PATCH] Make arch setup script executable I usually called it using `source arch.sh` but if it's executable it could also be called using `./arch.sh` and that's also what's done for the ubuntu setup script. --- Tools/setup/arch.sh | 0 1 file changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 Tools/setup/arch.sh diff --git a/Tools/setup/arch.sh b/Tools/setup/arch.sh old mode 100644 new mode 100755