Merge commit '700824d3e9bce9219819e4e5096ab94da301d44b' from branch bernard/master

[eval.git] / mop / admin / mo-create-submit.sh

diff --git a/mop/admin/mo-create-submit.sh b/mop/admin/mo-create-submit.sh
index d2395dabd7e6e6aabde53ba2848c59fcb2576aa3..2ea6e094a629484f10d43abcf9a2d0d031d08bc6 100755 (executable)
--- a/mop/admin/mo-create-submit.sh
+++ b/mop/admin/mo-create-submit.sh
@@ -14,10 +14,11 @@ mkdir -p certs
 cp $H/certs/server* certs/
 cp $H/certs/ca-cert.pem certs/
 
-rm -rf bin cf
+rm -rf bin cf lib
 mkdir bin cf
 cp $H/bin/{submitd,show-submits} bin/
 cp $H/cf/{submitd,libucw} cf/
+cp -aL $H/lib .
 
 mkdir -p solutions 
 for a in `cd $H && bin/mo-get-users` ; do