diff --git a/tools/verify_random_db.sh b/tools/verify_random_db.sh index 817e4b984..fbe5b75fd 100755 --- a/tools/verify_random_db.sh +++ b/tools/verify_random_db.sh @@ -19,21 +19,23 @@ try_load_options=${4:-"1"} ignore_unknown_options=${5:-"0"} db_dump=$db_dir"/"$dump_file_name base_db_dump=$base_db_dir"/"$dump_file_name -extra_param= +extra_params= -if [ "$try_load_options" = "1" ]; then - extra_param=" --try_load_options " +if [ "$try_load_options" = "0" ]; then + extra_params=" --try_load_options=false" +elif [ "$try_load_options" = "1" ]; then + extra_params=" --try_load_options=true" fi if [ "$ignore_unknown_options" = "1" ]; then - extra_param=" --ignore_unknown_options " + extra_params="$extra_params --ignore_unknown_options" fi set -e echo == Dumping data from $db_dir to $db_dump -./ldb dump --db=$db_dir $extra_param > $db_dump +./ldb dump --db=$db_dir $extra_params > $db_dump echo == Dumping data from $base_db_dir to $base_db_dump -./ldb dump --db=$base_db_dir $extra_param > $base_db_dump +./ldb dump --db=$base_db_dir $extra_params > $base_db_dump -diff $db_dump $base_db_dir +diff $db_dump $base_db_dump