cb5b851ff8
Summary: * Don't hardcode namespace rocksdb (use ROCKSDB_NAMESPACE) * Don't #include <rocksdb/...> (use double quotes) * Support putting NOCOMMIT (any case) in source code that should not be committed/pushed in current state. These will be run with `make check` and in GitHub actions Pull Request resolved: https://github.com/facebook/rocksdb/pull/8821 Test Plan: existing tests, manually try out new checks Reviewed By: zhichao-cao Differential Revision: D30791726 Pulled By: pdillinger fbshipit-source-id: 399c883f312be24d9e55c58951d4013e18429d92
29 lines
667 B
Bash
Executable File
29 lines
667 B
Bash
Executable File
#!/usr/bin/env bash
|
|
# Copyright (c) Facebook, Inc. and its affiliates. All Rights Reserved.
|
|
#
|
|
# Check for some simple mistakes that should prevent commit or push
|
|
|
|
BAD=""
|
|
|
|
git grep 'namespace rocksdb' -- '*.[ch]*'
|
|
if [ "$?" != "1" ]; then
|
|
echo "^^^^^ Do not hardcode namespace rocksdb. Use ROCKSDB_NAMESPACE"
|
|
BAD=1
|
|
fi
|
|
|
|
git grep -i 'nocommit' -- ':!build_tools/check-sources.sh'
|
|
if [ "$?" != "1" ]; then
|
|
echo "^^^^^ Code was not intended to be committed"
|
|
BAD=1
|
|
fi
|
|
|
|
git grep '<rocksdb/' -- ':!build_tools/check-sources.sh'
|
|
if [ "$?" != "1" ]; then
|
|
echo '^^^^^ Use double-quotes as in #include "rocksdb/something.h"'
|
|
BAD=1
|
|
fi
|
|
|
|
if [ "$BAD" ]; then
|
|
exit 1
|
|
fi
|