Dereference links when installing.

diff --git a/mop/admin/mo-create-public.sh b/mop/admin/mo-create-public.sh
index 3e26af77577b7dce65de6e32931b9020d08d8393..9e05d02abab2b8c08b62e5181bfee1cef3a4878d 100755 (executable)
--- a/mop/admin/mo-create-public.sh
+++ b/mop/admin/mo-create-public.sh
@@ -16,14 +16,14 @@ for a in eval mop ; do
 done
 
 mkdir bin
-cp -a $H/bin/{check,submit,compile,status,box,iwrapper} bin/
+cp -aL $H/bin/{check,submit,compile,status,box,iwrapper} bin/
 
 mkdir lib
-cp -a $H/lib/libeval.sh lib/
+cp -aL $H/lib/libeval.sh lib/
 
 if [ -n "$REMOTE_SUBMIT" ] ; then
-       cp -a $H/bin/{contest,remote-submit,remote-status} bin/
-       cp -a $H/lib/perl5 lib/
+       cp -aL $H/bin/{contest,remote-submit,remote-status} bin/
+       cp -aL $H/lib/perl5 lib/
 fi
 
 mkdir -p problems