diff options
Diffstat (limited to 'src/profile')
| -rw-r--r-- | src/profile/proteanos.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/profile/proteanos.sh b/src/profile/proteanos.sh index cd90b74..0a7b935 100644 --- a/src/profile/proteanos.sh +++ b/src/profile/proteanos.sh @@ -115,6 +115,7 @@ prof_proteanos_validate_archplat() local plat="${3}" local suite="${4}" shift 4 + local archplat= while read -r archplat; do case "${archplat}" in |