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

Minor bug fix with log name

Browse Source
This commit is contained in:
krad 2016-06-14 12:20:38 -07:00
parent 886af59105
commit 550bf895e9
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
build_tools/precommit_checker.py
View File

@ -186,8 +186,8 @@ class PreCommitChecker(Env):
parser = argparse.ArgumentParser(description='RocksDB pre-commit checker.') parser = argparse.ArgumentParser(description='RocksDB pre-commit checker.')
# --log <logfile> # --log <logfile>
parser.add_argument('--logfile', default='/tmp/precommit-log', parser.add_argument('--logfile', default='/tmp/precommit-check.log',
help='Log file. Default is /tmp/precommit-log') help='Log file. Default is /tmp/precommit-check.log')
# --ignore_failure # --ignore_failure
parser.add_argument('--ignore_failure', action='store_true', default=False, parser.add_argument('--ignore_failure', action='store_true', default=False,
help='Stop when an error occurs') help='Stop when an error occurs')