Opened 10 years ago

Closed 10 years ago

#8609 closed defect (fixed)

remove build_mini.sh

Reported by: dante Owned by: dante
Priority: high Milestone: 1.3
Component: BuildTools Version: 1.2.3
Keywords: Cc:
Blocked By: Blocking:

Description

build_mini.sh is a script to remove lots of cruft from a build. clean_release.sh was introduced as an 11th hour solution to wanting to run mini optimizations on a built release tree. the duplication is unnecessary, and we should remove the build_mini.sh script. most of mini is rolled into the build option mini=true, and the rest should only need to be maintained in one place.

based on the default build, running the build then:

./clean_release.sh ../../release/dojo dojo

is identical to build_mini.sh functionality

Change History (1)

comment:1 Changed 10 years ago by dante

Resolution: fixed
Status: newclosed

in [16634]

Note: See TracTickets for help on using tickets.