diff options
author | Tom "Ravi" Hale | 2018-10-19 19:11:33 +0700 |
---|---|---|
committer | Tom "Ravi" Hale | 2023-06-29 09:40:08 +0700 |
commit | 690b470dce1676ae4d631efab8b3ee22e25b6077 (patch) | |
tree | aae5f9370b7eaf00666d03eb752e8a7e82c134cf | |
parent | 0920d35109c7ad4d5da00f344791264a3f1fde85 (diff) | |
download | aur-690b470dce1676ae4d631efab8b3ee22e25b6077.tar.gz |
make-check: add bash shell options
-rwxr-xr-x | make-check | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/make-check b/make-check index d21afdb28ff7..5d2637ef92c6 100755 --- a/make-check +++ b/make-check @@ -3,6 +3,9 @@ # A convenience script for the package creator. # This file is not run on package installation. +set -euo pipefail +shopt -s failglob + PACMAN= PATH=/usr/bin:$PATH |