mirror/dolt
1
0
Fork 0
mirror of https://github.com/dolthub/dolt.git synced 2026-02-23 10:08:58 -06:00
Code Issues Packages Projects Releases 136 Wiki Activity

fix performance-benchmarking/run-benchmarks.sh

Browse Source
This commit is contained in:
Andy Arthur
2022-07-18 11:55:57 -07:00
parent 46b784c78f
commit df5c03aec2
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.github/scripts/performance-benchmarking/run-benchmarks.sh vendored
View File

@@ -27,7 +27,7 @@ if [ -z "$MODE" ]; then
exit 1
fi
if [ "$NOMS_BIN_FORMAT" = "__DOLT_1__" ]; then;
if [ "$NOMS_BIN_FORMAT" = "__DOLT_1__" ]; then
INIT_BIG_REPO="false"
fi