Merge pull request #165 from jouvin/ci_exclude_deleted_files

CI scripts (panlint/indent): exclude deleted files
quattor · Nov 7, 2024 · 5d38294 · 5d38294
2 parents f004729 + 543535e
commit 5d38294
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/.ci-scripts/indent b/.ci-scripts/indent
@@ -5,4 +5,4 @@ rm -f /tmp/indent.py
 wget -q https://raw.githubusercontent.com/stfc/Pan-Indenter/master/pan_indent_checker.py -O /tmp/indent.py
 chmod u+x /tmp/indent.py
 
-git diff --name-only HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
+git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -rn1 /tmp/indent.py check || exit 1
diff --git a/.ci-scripts/panlint b/.ci-scripts/panlint
@@ -5,4 +5,4 @@ rm -f /tmp/panlint.py
 wget -q https://raw.githubusercontent.com/quattor/pan/master/panc/src/main/scripts/panlint/panlint.py -O /tmp/panlint.py
 chmod u+x /tmp/panlint.py
 
-git diff --name-only HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1
+git diff --name-only --diff-filter=d HEAD^ | grep '\.pan$' | xargs -r /tmp/panlint.py || exit 1
diff --git a/.ci-scripts/test-library b/.ci-scripts/test-library
@@ -8,4 +8,4 @@ rm -f /tmp/create-vanilla-SCDB.sh
 wget -q https://raw.githubusercontent.com/quattor/scdb/master/utils/scdb/create-vanilla-SCDB.sh -O /tmp/create-vanilla-SCDB.sh
 chmod u+x /tmp/create-vanilla-SCDB.sh
 
-/tmp/create-vanilla-SCDB.sh -F --debug --continuous-integration HEAD
+/tmp/create-vanilla-SCDB.sh -F --continuous-integration HEAD