andreacavalli/rocksdb
0
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Add debug

Browse Source
This commit is contained in:
Yanqin Jin 2020-04-29 10:51:06 -07:00
parent 927f3e0b47
commit 6218435b37
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
build_tools/format-diff.sh
View File

@ -119,6 +119,7 @@ then
# Get the common ancestor with that remote branch. Everything after that
# common ancestor would be considered the contents of a pull request, so
# should be relevant for formatting fixes.
git merge-base "$FORMAT_UPSTREAM" HEAD
FORMAT_UPSTREAM_MERGE_BASE="$(git merge-base "$FORMAT_UPSTREAM" HEAD)"
echo FORMAT_UPSTREAM_MERGE_BASE is $FORMAT_UPSTREAM_MERGE_BASE
# Get the differences