use /var/tmp for both chroot and vserver myplc
authorThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 19 Sep 2008 09:10:14 +0000 (09:10 +0000)
committerThierry Parmentelat <thierry.parmentelat@sophia.inria.fr>
Fri, 19 Sep 2008 09:10:14 +0000 (09:10 +0000)
commit406833a858a8d78805981cfeca961477da7f93f1
tree5402c22ca2589ad6b07f0838e0ea50a6dd63ec04
parent35d3f17c91267c262f6738ff55fe06d46621531d
use /var/tmp for both chroot and vserver myplc
build.sh