diff --git a/util/LLgen/mkdistr.sh b/util/LLgen/mkdistr.sh index 4c6e22861..40babcf96 100755 --- a/util/LLgen/mkdistr.sh +++ b/util/LLgen/mkdistr.sh @@ -16,7 +16,7 @@ if [ -d ../LLgen-$1 ]; then fi mkdir ../LLgen-$1 -cp -a --parents \ +cp -a --dereference --parents \ pm \ c.pm \ pmfile \