# This is the Makefile fragment used when running on a Linux host.
# It does not have to do anything at present.