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 /worker | |
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 'worker')
0 files changed, 0 insertions, 0 deletions