mirror of
https://github.com/facebook/rocksdb.git
synced 2024-11-26 16:30:56 +00:00
ee9bdd38a1
Summary: Add a script, which checks out changes from a list of tags, build them and load the same data into it. In the last, checkout the target build and make sure it can successfully open DB and read all the data. It is implemented through ldb tool, because ldb tool is available from all previous builds so that we don't have to cross build anything. Test Plan: Run the script. Reviewers: yhchiang, rven, anthony, kradhakrishnan, igor Reviewed By: igor Subscribers: leveldb, dhruba Differential Revision: https://reviews.facebook.net/D36639
28 lines
710 B
Bash
Executable file
28 lines
710 B
Bash
Executable file
#!/bin/bash
|
|
#
|
|
# A shell script to verify DB generated by generate_random_db.sh cannot opened and read correct data.
|
|
# ./ldb needs to be avaible to be executed.
|
|
#
|
|
# Usage: <SCRIPT> <DB Path>
|
|
|
|
scriptpath=`dirname $BASH_SOURCE`
|
|
if [ "$#" -lt 2 ]; then
|
|
echo "usage: $BASH_SOURCE <db_directory> <compare_base_db_directory> [dump_file_name]"
|
|
exit 1
|
|
fi
|
|
|
|
db_dir=$1
|
|
base_db_dir=$2
|
|
dump_file_name=${3:-"dump_file.txt"}
|
|
db_dump=$db_dir"/"$dump_file_name
|
|
base_db_dump=$base_db_dir"/"$dump_file_name
|
|
|
|
set -e
|
|
echo == Dumping data from $db_dir to $db_dump
|
|
./ldb dump --db=$db_dir > $db_dump
|
|
|
|
echo == Dumping data from $base_db_dir to $base_db_dump
|
|
./ldb dump --db=$base_db_dir > $base_db_dump
|
|
|
|
diff $db_dump $base_db_dir
|