From f42fec2fab304f91fdfdfe145e5a983a20e09782 Mon Sep 17 00:00:00 2001
From: Jay Zhuang <zjay@fb.com>
Date: Thu, 11 Aug 2022 13:33:06 -0700
Subject: [PATCH] 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
---
 tools/check_format_compatible.sh | 12 ++++++------
 1 file changed, 6 insertions(+), 6 deletions(-)

diff --git a/tools/check_format_compatible.sh b/tools/check_format_compatible.sh
index f5f82423a..003b66f04 100755
--- a/tools/check_format_compatible.sh
+++ b/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