diff options
| author | Robin Jarry <robin@jarry.cc> | 2023-10-09 09:22:29 +0200 |
|---|---|---|
| committer | Robin Jarry <robin@jarry.cc> | 2023-10-11 10:25:41 +0200 |
| commit | d179485eefe50da9d21abdd392cffd865e369509 (patch) | |
| tree | 08ec08cc6242f9348a8f254d61d6edd2932cd455 /.gitignore | |
| parent | c8469d30947a461f536be8f70e0f2ce9f44481a3 (diff) | |
| download | aerc-d179485eefe50da9d21abdd392cffd865e369509.tar.gz | |
release.sh: update version in GNUMakefile
The version is no longer present in Makefile which has been preserved
for explicit error reporting with non-GNU make versions.
Update the version in GNUMakefile instead.
Fixes: d725defa07b5 ("mk: deprecate BSD make in favor of GNU make")
Reported-by: Anton Mosich <anton@mosich.at>
Signed-off-by: Robin Jarry <robin@jarry.cc>
Acked-by: Moritz Poldrack <moritz@poldrack.dev>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions