ship: Unbreak MOB_ACCESS real-time mobility update for ships

[empserver] / GNUmakefile.in

diff --git a/GNUmakefile.in b/GNUmakefile.in
index 6c85d3d8d907280bbbf9fe3488fff2fc2643a542..a198950ce6b1ba06ceba704697451e5527e60bc0 100644 (file)
--- a/GNUmakefile.in
+++ b/GNUmakefile.in
@@ -1,6 +1,6 @@
 #
 #   Empire - A multi-player, client/server Internet based war game.
-#   Copyright (C) 1986-2018, Dave Pare, Jeff Bailey, Thomas Ruschak,
+#   Copyright (C) 1986-2021, Dave Pare, Jeff Bailey, Thomas Ruschak,
 #                 Ken Stevens, Steve McClure, Markus Armbruster
 #
 #   Empire is free software: you can redistribute it and/or modify
@@ -28,7 +28,7 @@
 #   GNUmakefile.in: Makefile template for configure
 #
 #   Known contributors to this file:
-#      Markus Armbruster, 2005-2009
+#      Markus Armbruster, 2005-2020
 #
 
 # The real meat is in Make.mk, which see.
@@ -68,6 +68,7 @@ INSTALL_DATA := @INSTALL_DATA@
 INSTALL_PROGRAM := @INSTALL_PROGRAM@
 NROFF := @NROFF@
 RANLIB := @RANLIB@
+SHELL := @SHELL@
 
 prefix := @prefix@
 exec_prefix := @exec_prefix@