From 5c4fd2c8b1a3d72b92a946a0f90381ccf862bf57 Mon Sep 17 00:00:00 2001 From: Martin Mares Date: Wed, 18 Mar 2009 14:42:05 +0100 Subject: [PATCH] Dereference links when installing. --- mop/admin/mo-create-public.sh | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/mop/admin/mo-create-public.sh b/mop/admin/mo-create-public.sh index 3e26af7..9e05d02 100755 --- 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 -- 2.39.2