Add bash for running the script (#10521)

Summary:
workaround for scripts cannot be executed directly in docker /dev/shm
might be a permission configuration.

Pull Request resolved: https://github.com/facebook/rocksdb/pull/10521

Test Plan: run the format_compatible test: https://app.circleci.com/pipelines/github/facebook/rocksdb/17161/workflows/531cc2ce-188c-4e18-a050-5c5f4df76f5c/jobs/459757

Reviewed By: ltamasi

Differential Revision: D38630967

Pulled By: jay-zhuang

fbshipit-source-id: 501d2b48df4e04027a9d6e891af7edff73d571f3
main
Jay Zhuang 2 years ago committed by Facebook GitHub Bot
parent 9277569ba3
commit f42fec2fab
  1. 12
      tools/check_format_compatible.sh

@ -174,7 +174,7 @@ done
generate_db()
{
set +e
$script_copy_dir/generate_random_db.sh $1 $2
bash "$script_copy_dir"/generate_random_db.sh "$1" "$2"
if [ $? -ne 0 ]; then
echo ==== Error loading data from $2 to $1 ====
exit 1
@ -185,7 +185,7 @@ generate_db()
compare_db()
{
set +e
$script_copy_dir/verify_random_db.sh $1 $2 $3 $4 $5
bash "$script_copy_dir"/verify_random_db.sh "$1" "$2" "$3" "$4" "$5"
if [ $? -ne 0 ]; then
echo ==== Read different content from $1 and $2 or error happened. ====
exit 1
@ -196,7 +196,7 @@ compare_db()
write_external_sst()
{
set +e
$script_copy_dir/write_external_sst.sh $1 $2 $3
bash "$script_copy_dir"/write_external_sst.sh "$1" "$2" "$3"
if [ $? -ne 0 ]; then
echo ==== Error writing external SST file using data from $1 to $3 ====
exit 1
@ -207,7 +207,7 @@ write_external_sst()
ingest_external_sst()
{
set +e
$script_copy_dir/ingest_external_sst.sh $1 $2
bash "$script_copy_dir"/ingest_external_sst.sh "$1" "$2"
if [ $? -ne 0 ]; then
echo ==== Error ingesting external SST in $2 to DB at $1 ====
exit 1
@ -218,7 +218,7 @@ ingest_external_sst()
backup_db()
{
set +e
$script_copy_dir/backup_db.sh $1 $2
bash "$script_copy_dir"/backup_db.sh "$1" "$2"
if [ $? -ne 0 ]; then
echo ==== Error backing up DB $1 to $2 ====
exit 1
@ -229,7 +229,7 @@ backup_db()
restore_db()
{
set +e
$script_copy_dir/restore_db.sh $1 $2
bash "$script_copy_dir"/restore_db.sh "$1" "$2"
if [ $? -ne 0 ]; then
echo ==== Error restoring from $1 to $2 ====
exit 1

Loading…
Cancel
Save