mirror of
https://gitlab.freedesktop.org/gstreamer/gstreamer.git
synced 2025-02-06 06:22:29 +00:00
ci: Drop gst-indent-all as it's now managed by pre-commit
Part-of: <https://gitlab.freedesktop.org/gstreamer/gstreamer/-/merge_requests/5192>
This commit is contained in:
parent
2a5758bcf5
commit
d224825f40
2 changed files with 0 additions and 47 deletions
|
@ -1,16 +0,0 @@
|
||||||
#!/bin/bash
|
|
||||||
set -e
|
|
||||||
|
|
||||||
CUR_DIR="$( cd -P "$( dirname "${BASH_SOURCE[0]}" )" && pwd )"
|
|
||||||
|
|
||||||
indent --version || true
|
|
||||||
|
|
||||||
$CUR_DIR/gst-indent-all
|
|
||||||
|
|
||||||
if git diff --quiet -- ':!subprojects/gst-integration-testsuites/medias' .; then
|
|
||||||
echo "Code is properly formatted"
|
|
||||||
else
|
|
||||||
git diff --color=always -- ':!subprojects/gst-integration-testsuites/medias' .
|
|
||||||
echo 'style diverges, please run gst-indent first'
|
|
||||||
exit 1
|
|
||||||
fi
|
|
|
@ -1,31 +0,0 @@
|
||||||
#!/bin/bash
|
|
||||||
|
|
||||||
BASEDIR=$(dirname $0)
|
|
||||||
|
|
||||||
|
|
||||||
filter_cmd=("cat")
|
|
||||||
if test -f ".indentignore"; then
|
|
||||||
filter_args=()
|
|
||||||
while read -r line; do
|
|
||||||
if test -n "$line"; then
|
|
||||||
filter_args+=("-e" "$line")
|
|
||||||
fi
|
|
||||||
done < ".indentignore"
|
|
||||||
if [[ ${#filter_args[@]} -gt 0 ]]; then
|
|
||||||
filter_cmd=("grep" "-v" "${filter_args[@]}")
|
|
||||||
fi
|
|
||||||
fi
|
|
||||||
git ls-files "*.c" | "${filter_cmd[@]}" | xargs -d '\n' $BASEDIR/gst-indent
|
|
||||||
|
|
||||||
if test -f ".indent_cpp_list"; then
|
|
||||||
filter_args=()
|
|
||||||
while read -r line; do
|
|
||||||
if test -n "$line"; then
|
|
||||||
filter_args+=("-e" "$line")
|
|
||||||
fi
|
|
||||||
done < ".indent_cpp_list"
|
|
||||||
if [[ ${#filter_args[@]} -gt 0 ]]; then
|
|
||||||
filter_cmd=("grep" "-E" "${filter_args[@]}")
|
|
||||||
git ls-files "*.cpp" | "${filter_cmd[@]}" | xargs -d '\n' $BASEDIR/gst-indent
|
|
||||||
fi
|
|
||||||
fi
|
|
Loading…
Reference in a new issue