#
# For Linux, we assume GNU Make; at time of writing, the only extension
# used is ?= which is actually portable to other maintained Make variants,
#
# For Linux, we assume GNU Make; at time of writing, the only extension
# used is ?= which is actually portable to other maintained Make variants,