From 338b56a0e7f21774159b6bd2c6e8ed51b23f01c8 Mon Sep 17 00:00:00 2001 From: Archit Tamarapu Date: Tue, 22 Aug 2023 15:29:14 +0200 Subject: [PATCH] [fix] try to fix prepare_instrumentation script and set executable bit --- scripts/prepare_instrumentation.sh | 2 +- scripts/strip_split_rendering.sh | 0 2 files changed, 1 insertion(+), 1 deletion(-) mode change 100644 => 100755 scripts/strip_split_rendering.sh diff --git a/scripts/prepare_instrumentation.sh b/scripts/prepare_instrumentation.sh index 1636d7802a..01807256bc 100755 --- a/scripts/prepare_instrumentation.sh +++ b/scripts/prepare_instrumentation.sh @@ -87,7 +87,7 @@ cp -R ../Makefile $targetdir cp -R ../CMakeLists.txt $targetdir cp -R ../Workspace_msvc $targetdir if [ $INCLUDE_SPLIT -eq 0 ]; then - strip_split_rendering.sh $targetdir + ./strip_split_rendering.sh $targetdir fi # back up #ifdef-list diff --git a/scripts/strip_split_rendering.sh b/scripts/strip_split_rendering.sh old mode 100644 new mode 100755 -- GitLab