diff options
author | Emil Velikov <emil.l.velikov@gmail.com> | 2019-06-16 14:23:41 +0100 |
---|---|---|
committer | Eric Engestrom <eric.engestrom@intel.com> | 2019-10-04 09:42:46 +0100 |
commit | 9b1e0842538626303e3873c8bff4a483da1374e7 (patch) | |
tree | b35b3cbc50367223db2c869cb736bb228a5b3faa /freedreno | |
parent | 4083e8f2c65989461f5a62ed7b295c8c04032664 (diff) |
*-symbols-check: use normal shell over bash
None of the tests are bash specific. Tested with bash, zsh, dash, mksh
and ksh.
Signed-off-by: Emil Velikov <emil.l.velikov@gmail.com>
Tested-by: Niclas Zeising <zeising@daemonic.se>
Reviewed-by: Niclas Zeising <zeising@daemonic.se>
Reviewed-by: Eric Engestrom <eric.engestrom@intel.com>
Diffstat (limited to 'freedreno')
-rwxr-xr-x | freedreno/freedreno-symbol-check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/freedreno/freedreno-symbol-check b/freedreno/freedreno-symbol-check index 978026c0..987e38fa 100755 --- a/freedreno/freedreno-symbol-check +++ b/freedreno/freedreno-symbol-check @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -u |