diff options
Diffstat (limited to 'tools/filter_git_history.sh')
| -rwxr-xr-x | tools/filter_git_history.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/filter_git_history.sh b/tools/filter_git_history.sh index 79e90aab..1336b5c0 100755 --- a/tools/filter_git_history.sh +++ b/tools/filter_git_history.sh @@ -24,7 +24,7 @@ pruner="git ls-files | grep -v \"$keep_pattern\" | git update-index --force-remo roots="" for file in $files_to_keep; do - file_root="$(git rev-list --reverse HEAD -- $file | head -n1)" + file_root=$(git rev-list --reverse HEAD -- $file | head -n1) fail=0 for root in $roots; do if git merge-base --is-ancestor $root $file_root; then |