mirror of
https://github.com/super-linter/super-linter.git
synced 2024-11-26 02:31:00 -05:00
adding it
This commit is contained in:
parent
b6410c5cba
commit
eaa2545625
1 changed files with 3 additions and 3 deletions
|
@ -312,9 +312,9 @@ GetLinterVersions() {
|
||||||
# Go through the array of linters and print version info #
|
# Go through the array of linters and print version info #
|
||||||
##########################################################
|
##########################################################
|
||||||
for LINTER in "${LINTER_ARRAY[@]}"; do
|
for LINTER in "${LINTER_ARRAY[@]}"; do
|
||||||
###################
|
####################
|
||||||
# Get the version #
|
# Get the versions #
|
||||||
###################
|
####################
|
||||||
if [[ "${LINTER}" == "arm-ttk" ]]; then
|
if [[ "${LINTER}" == "arm-ttk" ]]; then
|
||||||
# Need specific command for ARM
|
# Need specific command for ARM
|
||||||
mapfile -t GET_VERSION_CMD < <(grep -iE 'version' "${ARM_TTK_PSD1}" | xargs 2>&1)
|
mapfile -t GET_VERSION_CMD < <(grep -iE 'version' "${ARM_TTK_PSD1}" | xargs 2>&1)
|
||||||
|
|
Loading…
Reference in a new issue