diff options
| author | Mateusz Jończyk <mat.jonczyk@o2.pl> | 2018-04-28 19:43:21 +0200 |
|---|---|---|
| committer | Mateusz Jończyk <mat.jonczyk@o2.pl> | 2018-04-28 19:56:23 +0200 |
| commit | 1dd02a6d4d0c58d660bc40b5b70173bb2e66a4dc (patch) | |
| tree | c1213bda11050001268dbd334805e730d5717f8b /tools | |
| parent | 3fcdf2d0e1b997222aa298925c68f158195fe4d0 (diff) | |
| download | trackermap-web-1dd02a6d4d0c58d660bc40b5b70173bb2e66a4dc.tar.gz trackermap-web-1dd02a6d4d0c58d660bc40b5b70173bb2e66a4dc.tar.bz2 trackermap-web-1dd02a6d4d0c58d660bc40b5b70173bb2e66a4dc.zip | |
minify.sh: use environment variable EXTJS_PATH
Allow setting location of ext-6.2.0 directory by an environment
variable. People can have ext-6.2.0 in various locations.
Diffstat (limited to 'tools')
| -rwxr-xr-x | tools/minify.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/minify.sh b/tools/minify.sh index 1ef75371..0579d8ca 100755 --- a/tools/minify.sh +++ b/tools/minify.sh @@ -2,7 +2,8 @@ cd $(dirname $0)/../web -EXT="../../../ext-6.2.0" +# Use the value of $EXTJS_PATH if it is defined, '../../../ext-6.2.0' otherwise +EXT=${EXTJS_PATH:-'../../../ext-6.2.0'} sencha compile --classpath=app.js,app,$EXT/packages/core/src,$EXT/packages/core/overrides,$EXT/classic/classic/src,$EXT/classic/classic/overrides \ exclude -all \ |