diff options
Diffstat (limited to 'exynos')
| -rwxr-xr-x | exynos/exynos-symbol-check | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/exynos/exynos-symbol-check b/exynos/exynos-symbol-check index e9f1b04d..49d611e6 100755 --- a/exynos/exynos-symbol-check +++ b/exynos/exynos-symbol-check @@ -1,5 +1,7 @@ #!/bin/bash +set -u + # The following symbols (past the first five) are taken from the public headers. # A list of the latter should be available Makefile.am/libdrm_exynos*_HEADERS |