diff options
| author | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-05-02 14:14:18 +0000 |
|---|---|---|
| committer | Joel Sherrill <joel.sherrill@oarcorp.com> | 2014-05-02 14:24:41 +0000 |
| commit | 85c521db42f8a1ffd8b76aa916d47d052aeb5c54 (patch) | |
| tree | 71789f7b3eba911198b8d8213ffde224b60cc2df /rtems-coverage | |
| parent | e997f7abbef9f467b102e9406025bf9ee6c67f24 (diff) | |
rtems-testing: Use eval bash instead of full path
Diffstat (limited to 'rtems-coverage')
| -rwxr-xr-x | rtems-coverage/run_coverage | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/rtems-coverage/run_coverage b/rtems-coverage/run_coverage index 5f28e69..d30fab3 100755 --- a/rtems-coverage/run_coverage +++ b/rtems-coverage/run_coverage @@ -1,4 +1,4 @@ -#! /bin/bash +#! /bin/sh # # Script to help running coverage profiles # |