fix: gen-migrations

2023-07-20 13:11:43 -05:00
parent d89a4fa455
commit 032c1f7a74
1 changed files with 1 additions and 1 deletions
--- a/scripts/diff.sh
+++ b/scripts/diff.sh
@@ -35,7 +35,7 @@ if [[ ! -f "$migration" ]]; then
  ./scripts/build.sh base "$base" 1>&2 || (echo "base failed to build" && exit 1)
  ./scripts/build.sh head "$head" 1>&2 || (echo "head failed to build" && exit 1)

-  local waited=0
+  waited=0
  until pg_isready --quiet --username "$POSTGRES_USER" -p 5432 && \
        pg_isready --quiet --username "$POSTGRES_USER" -p 5433; do
    if [[ "$waited" = 10 ]]; then