equal
deleted
inserted
replaced
17 APP_BUILD=${APP_BUILD:-"${DEFAULT_APP_BUILD}"} |
17 APP_BUILD=${APP_BUILD:-"${DEFAULT_APP_BUILD}"} |
18 APP_FOLDER=${APP_FOLDER:-"${DEFAULT_APP_FOLDER}"} |
18 APP_FOLDER=${APP_FOLDER:-"${DEFAULT_APP_FOLDER}"} |
19 APP_FILES=${APP_FILES:-"${DEFAULT_APP_FILES}"} |
19 APP_FILES=${APP_FILES:-"${DEFAULT_APP_FILES}"} |
20 APP_DIRS=${APP_DIRS:-"${DEFAULT_APP_DIRS}"} |
20 APP_DIRS=${APP_DIRS:-"${DEFAULT_APP_DIRS}"} |
21 ZIP_FILES=${ZIP_FILES:-"${DEFAULT_ZIP_FILES}"} |
21 ZIP_FILES=${ZIP_FILES:-"${DEFAULT_ZIP_FILES}"} |
|
22 |
|
23 |
|
24 if [ "$1" != "--skip-pylint" ]; then |
|
25 cd pylint |
|
26 bash do_pylint.sh --silent |
|
27 if [ "$?" != "1" ] ; then |
|
28 echo ' Build failed. Build script encountered pylint errors.' |
|
29 exit 1 |
|
30 fi |
|
31 cd .. |
|
32 fi |
22 |
33 |
23 if [ -e $APP_FOLDER ] ; then |
34 if [ -e $APP_FOLDER ] ; then |
24 cd $APP_FOLDER |
35 cd $APP_FOLDER |
25 else |
36 else |
26 echo 'This script must be run from within the scripts directory!' |
37 echo 'This script must be run from within the scripts directory!' |