jimmy/postgrest
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

nix: show build time on postgrest-with-pgrst

Browse Source
This commit is contained in:
steve-chavez
2025-12-16 21:15:28 -05:00
committed by Steve Chavez
parent 050554e2bb
commit 4cdc4c4861
1 changed files with 3 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
nix/tools/withTools.nix
+3 -1
View File
@@ -373,6 +373,7 @@ let
if [ -z "''${PGRST_CMD:-}" ]; then if [ -z "''${PGRST_CMD:-}" ]; then
rm -f result rm -f result
build_start=$SECONDS
if [ -z "''${PGRST_BUILD_CABAL:-}" ]; then if [ -z "''${PGRST_BUILD_CABAL:-}" ]; then
echo -n "Building postgrest (nix)... " echo -n "Building postgrest (nix)... "
# Using lib.getBin to also make this work with older checkouts, where .bin was not a thing, yet. # 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 postgrest-build
PGRST_CMD=postgrest-run PGRST_CMD=postgrest-run
fi fi
echo "done." build_end=$((SECONDS - build_start))
printf "done in %ss.\n" "$build_end"
fi fi
ver=$($PGRST_CMD ${legacyConfig} --version) ver=$($PGRST_CMD ${legacyConfig} --version)