Commit 338b56a0 authored Aug 22, 2023 by Archit Tamarapu

[fix] try to fix prepare_instrumentation script and set executable bit

parent 93521388

scripts/prepare_instrumentation.sh

+1 −1

Original line number	Diff line number	Diff line
		@@ -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

scripts/strip_split_rendering.sh

100644 → 100755

+0 −0

File mode changed from 100644 to 100755.