From b395b938146a104c8ba88b1d50cffc89054cbb0f Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Wed, 6 Jun 2018 21:57:56 +0100
Subject: [PATCH] Makefile (distdir): Copy files rather than linking.

Linking will hardlink symlinks, and that won't end well.  All our files
are tiny, so it's not worth worrying about the performance effect.
---
 Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile b/Makefile
index 9733bc1..abff799 100644
--- a/Makefile
+++ b/Makefile
@@ -185,7 +185,7 @@ distdir:
 	      d=$${i%/*} && $(MKDIRS) $(distdir)/$$d || exit 1 \
 	      ;; \
 	  esac; \
-	  ln $$i $(distdir)/$$i || exit 1; \
+	  cp $$i $(distdir)/$$i || exit 1; \
 	done
 .PHONY: distdir
 
-- 
2.11.0