Use build:dev:prod:minimize for Binder

krassowski · Oct 8, 2023 · e5399db · e5399db
1 parent af99890
commit e5399db
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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