diff options
| -rwxr-xr-x | testing/libgccjit/build | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/testing/libgccjit/build b/testing/libgccjit/build index 3d2dc7c1..6c703828 100755 --- a/testing/libgccjit/build +++ b/testing/libgccjit/build @@ -63,10 +63,10 @@ make make DESTDIR="$1" -C gcc install # Remove unnecessary gcc files. -rm -rf "$1/usr/bin" \ - "$1/usr/lib/gcc" \ - "$1/usr/libexec" \ - "$1/usr/share/man" +rm -rf "${1:?}/usr/bin" \ + "${1:?}/usr/lib/gcc" \ + "${1:?}/usr/libexec" \ + "${1:?}/usr/share/man" # Remove info pages other than libgccjit find "$1/usr/share/info" -type f ! -name libgccjit.info -exec rm -f {} + |