commit 9dfdd1b3830dd69b46a02a9728216fb6fbcedd44
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

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>

run_config/coverity-misra.diff

diff --git a/run_config/coverity-misra.diff b/run_config/coverity-misra.diff
index d053250..aaf436a 100644
--- a/run_config/coverity-misra.diff
+++ b/run_config/coverity-misra.diff
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 #
 # Copyright (c) 2019, Arm Limited. All rights reserved.
 #