diff options
author | Jason Cox <me@jasoncarloscox.com> | 2024-01-05 13:54:02 -0500 |
---|---|---|
committer | Robin Jarry <robin@jarry.cc> | 2024-01-07 11:18:47 +0100 |
commit | e2c1bafafe06b87a8a7e9639ff427949f4adbf61 (patch) | |
tree | 3c123ecba58888a8c66df6e27a377ef20e63669d /contrib | |
parent | 2be4370738dc1f4d5cc968d07555df541f954183 (diff) | |
download | aerc-e2c1bafafe06b87a8a7e9639ff427949f4adbf61.tar.gz |
sendemail-validate: try regular make if gmake not available
Some OSes (e.g., Arch Linux) ship GNU Make but only provide the `make`
executable.
Signed-off-by: Jason Cox <me@jasoncarloscox.com>
Acked-by: Robin Jarry <robin@jarry.cc>
Diffstat (limited to 'contrib')
-rwxr-xr-x | contrib/sendemail-validate | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/sendemail-validate b/contrib/sendemail-validate index dcab4aaa..ae29d05c 100755 --- a/contrib/sendemail-validate +++ b/contrib/sendemail-validate @@ -33,7 +33,8 @@ validate_patch () { export CFLAGS="-O0 -g -std=c99 -Wall -Wextra -Wconversion -Werror -Wformat-security -Wstack-protector -Wpedantic -Wmissing-prototypes" validate_series () { - gmake all tests lint check-patches + command -v gmake >/dev/null 2>&1 && make="gmake" || make="make" + $make all tests lint check-patches } # main ------------------------------------------------------------------------- |