From e5399dbaa49a7b6f779e7bcd1972afa513c09541 Mon Sep 17 00:00:00 2001
From: krassowski <5832902+krassowski@users.noreply.github.com>
Date: Sun, 8 Oct 2023 23:00:51 +0100
Subject: [PATCH] Use `build:dev:prod:minimize` for Binder

---
 binder/postBuild | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/binder/postBuild b/binder/postBuild
index c04dcef..9f42c68 100755
--- a/binder/postBuild
+++ b/binder/postBuild
@@ -34,7 +34,7 @@ _("rm", ".git")
 _("mkdir", "-p", ".git/hooks")
 _("python", "-m", "pip", "install", "-e", ".")
 _("jlpm", "install")
-_("jlpm", "build")
+_("jlpm", "build:dev:prod:minimize")
 os.chdir(cwd)
 
 # verify the environment is self-consistent before even starting