diff options
Diffstat (limited to 'boca-1.5.0/tools/etc/icpc/installboca.sh')
| -rw-r--r-- | boca-1.5.0/tools/etc/icpc/installboca.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/boca-1.5.0/tools/etc/icpc/installboca.sh b/boca-1.5.0/tools/etc/icpc/installboca.sh index 073d432..8f35e74 100644 --- a/boca-1.5.0/tools/etc/icpc/installboca.sh +++ b/boca-1.5.0/tools/etc/icpc/installboca.sh @@ -129,6 +129,7 @@ fi strip safeexec cp -f safeexec /usr/bin chmod 4555 /usr/bin/safeexec +[ -d /bocajail/usr/bin ] && cp -a /usr/bin/safeexec /bocajail/usr/bin/ echo "==================================================" echo "=================== SERVER SETUP ===============" |