Execute script as bash script (#803)

Co-authored-by: Dušan Baran <[email protected]>
TileDB-Inc · Jan 28, 2025 · b461048 · b461048
1 parent 5f5a9d3
commit b461048
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/buildTileDB.sh b/tools/buildTileDB.sh
@@ -46,7 +46,7 @@ fi
 ## Build
 mkdir build
 cd build
-../tiledb-src/bootstrap --force-build-all-deps --enable-s3 --enable-serialization --linkage=shared
+bash ../tiledb-src/bootstrap --force-build-all-deps --enable-s3 --enable-serialization --linkage=shared
 make -j 2 tiledb install-tiledb
 cd ..