C#: Escape generated members

This commit is contained in:
Raul Santos
2024-06-15 18:25:37 +02:00
parent 71699e08c9
commit 65cd0c86f9
23 changed files with 1042 additions and 1041 deletions

View File

@@ -37,7 +37,7 @@ jobs:
fi
echo "$files" >> changed.txt
cat changed.txt
files=$(echo "$files" | grep -v 'thirdparty' | xargs -I {} sh -c 'echo "./{}"' | tr '\n' ' ')
files=$(echo "$files" | grep -v 'thirdparty' | xargs -I {} sh -c 'echo "\"./{}\""' | tr '\n' ' ')
echo "CHANGED_FILES=$files" >> $GITHUB_ENV
# This needs to happen before Python and npm execution; it must happen before any extra files are written.