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