From 4cdc4c4861a7b9a090998915e0be4c5f8cec4fad Mon Sep 17 00:00:00 2001
From: steve-chavez <stevechavezast@gmail.com>
Date: Tue, 16 Dec 2025 14:15:59 -0500
Subject: [PATCH] nix: show build time on postgrest-with-pgrst

---
 nix/tools/withTools.nix | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/nix/tools/withTools.nix b/nix/tools/withTools.nix
index 64d36cac2..341721353 100644
--- a/nix/tools/withTools.nix
+++ b/nix/tools/withTools.nix
@@ -373,6 +373,7 @@ let
 
         if [ -z "''${PGRST_CMD:-}" ]; then
           rm -f result
+          build_start=$SECONDS
           if [ -z "''${PGRST_BUILD_CABAL:-}" ]; then
             echo -n "Building postgrest (nix)... "
             # Using lib.getBin to also make this work with older checkouts, where .bin was not a thing, yet.
@@ -387,7 +388,8 @@ let
             postgrest-build
             PGRST_CMD=postgrest-run
           fi
-          echo "done."
+          build_end=$((SECONDS - build_start))
+          printf "done in %ss.\n" "$build_end"
         fi
 
         ver=$($PGRST_CMD ${legacyConfig} --version)