chiark / gitweb /
Makefile (distdir): Copy files rather than linking.
authorMark Wooding <mdw@distorted.org.uk>
Wed, 6 Jun 2018 20:57:56 +0000 (21:57 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Wed, 6 Jun 2018 23:54:36 +0000 (00:54 +0100)
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.


No differences found