| commit | 9dfdd1b3830dd69b46a02a9728216fb6fbcedd44 | [log] [tgz] |
|---|---|---|
| author | Leonardo Sandoval <leonardo.sandoval@linaro.org> | Thu Aug 06 17:08:11 2020 -0500 |
| committer | Leonardo Sandoval <leonardo.sandoval@linaro.org> | Thu Aug 06 17:08:41 2020 -0500 |
| tree | d52e88601149d51aea64165ba3d19e9414d63f9e | |
| parent | fd011bebe7509c64272a0ef7f09dca9dcf0541cb [diff] [blame] |
replace shebang '/bin/bash' for '/usr/bin/env bash' Allows better portability of bash scripting between Linux distributions. Change-Id: Ia0ec079581398bcffbf20bb8206860bcec0e6e7a Signed-off-by: Leonardo Sandoval <leonardo.sandoval@linaro.org>
diff --git a/run_config/coverity-tf b/run_config/coverity-tf index eba0d0b..5095459 100644 --- a/run_config/coverity-tf +++ b/run_config/coverity-tf
@@ -1,4 +1,4 @@ -#!/bin/bash +#!/usr/bin/env bash # # Copyright (c) 2019, Arm Limited. All rights reserved. #