[m-rev.] trivial diff: Dereference symlinks in the "tar" Mmakefile target

[Paul Bone]

Dereference symlinks in the "tar" Mmakefile target

Sebastian Godelet reported that symlinks are appearing in the tarballs,
which can cause problems for some platforms.  This change causes the "mmake
tar" target to dereference any symlinks, including their linked-to files
instead.

Mmakefile:
    As above.
---
 Mmakefile | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/Mmakefile b/Mmakefile
index dd4ebd1..1bfa8d0 100644
--- a/Mmakefile
+++ b/Mmakefile
@@ -490,7 +490,8 @@ tar: 	$(GENERATED_DOCS)
 			mv $$ROOTNAME/bytecode stuff-to-exclude; 	\
 		mv $$ROOTNAME/extras/quickcheck stuff-to-exclude;	\
 		mv $$ROOTNAME		mercury-srcdist-$(VERSION);	\
-		tar --exclude ".git" -cf - mercury-srcdist-$(VERSION) | \
+		tar --exclude ".git" --dereference -cf - 		\
+			mercury-srcdist-$(VERSION) | 			\
 			gzip -9 > mercury-srcdist-$(VERSION).tar.gz;	\
 		mv mercury-srcdist-$(VERSION)	$$ROOTNAME;		\
 		mv stuff-to-exclude/quickcheck  $$ROOTNAME/extras/quickcheck; \
-- 
2.6.1