Fix PR issues from @petropavel13
This commit is contained in:
parent
0fc2eb03c6
commit
c94fb44966
|
|
@ -21,5 +21,5 @@ function source_home_file {
|
|||
if [ -z "$(which $1)" ]; then
|
||||
source_home_file ".bash_profile" || source_home_file ".zshrc" || true
|
||||
|
||||
echo "User defined enviroment has been set"
|
||||
echo "User defined enviroment has been set for ${1}"
|
||||
fi
|
||||
|
|
@ -24,11 +24,7 @@
|
|||
readonly EXIT_SUCCESS=0
|
||||
readonly EXIT_FAILURE=1
|
||||
|
||||
if ! which pmd >/dev/null; then
|
||||
echo "pmd is not found, trying add user defined enviroment"
|
||||
|
||||
. ${SCRIPT_DIR}/../aux_scripts/install_env.sh pmd
|
||||
fi
|
||||
. ${SCRIPT_DIR}/../aux_scripts/install_env.sh pmd
|
||||
|
||||
if which pmd >/dev/null; then
|
||||
readonly REPORTS_DIR="${PROJECT_DIR}/code-quality-reports"
|
||||
|
|
|
|||
Loading…
Reference in New Issue