external
/
citus
mirror of https://github.com/citusdata/citus.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Added a workaround for a bug in git ls-files command.

pull/6487/head
Rajesh Kumar Thandapani 2022-11-10 15:28:21 +05:30
parent 01ec971108
commit d5abcefc98
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
ci/fix_gitignore.sh
View File

@ -5,7 +5,8 @@ source ci/ci_helpers.sh
# Remove all the ignored files from git tree, and error out # Remove all the ignored files from git tree, and error out
# find all ignored files in git tree, and use quotation marks to prevent word splitting on filenames with spaces in them # find all ignored files in git tree, and use quotation marks to prevent word splitting on filenames with spaces in them
ignored_lines_in_git_tree=$(git ls-files --ignored --exclude-standard | sed 's/.*/"&"/') # NOTE: Option --cached is neeed to avoid a bug in git ls-files command.
ignored_lines_in_git_tree=$(git ls-files --ignored --cached --exclude-standard | sed 's/.*/"&"/')
if [[ -n $ignored_lines_in_git_tree ]] if [[ -n $ignored_lines_in_git_tree ]]
then then