handle git rename
This commit is contained in:
parent
dce9eae62d
commit
300dff0850
@ -39,9 +39,9 @@ jobs:
|
||||
echo "Files in repo: $(ls -la)"
|
||||
echo "=== Debug: Checking for parent commit ==="
|
||||
if git rev-parse --verify HEAD~1 >/dev/null 2>&1; then
|
||||
echo "Parent commit exists; running git diff for added/modified files only."
|
||||
# Use --diff-filter=AM to only get Added and Modified files (exclude Deleted)
|
||||
CHANGED_FILES=$(git diff --name-only --diff-filter=AM HEAD~1 2>/dev/null | grep -E '\.(c|bas)$' | head -1)
|
||||
echo "Parent commit exists; running git diff for added/modified/renamed files."
|
||||
# Use --diff-filter=AMR to get Added, Modified, and Renamed files (exclude Deleted)
|
||||
CHANGED_FILES=$(git diff --name-only --diff-filter=AMR HEAD~1 2>/dev/null | grep -E '\.(c|bas)$' | head -1)
|
||||
echo "Added/Modified files from last commit: '${CHANGED_FILES}'"
|
||||
else
|
||||
echo "No parent commit; skipping diff."
|
||||
|
||||
Loading…
Reference in New Issue
Block a user