diff options
| author | cassiopc <cassiopc@gmail.com> | 2012-08-08 17:52:19 +0000 |
|---|---|---|
| committer | cassiopc <cassiopc@gmail.com> | 2012-08-08 17:52:19 +0000 |
| commit | 5d4eca5257a60c5f1de043fdf3f67e0a9df011f4 (patch) | |
| tree | 6d4ec6ffe1b6490be4120c0f06ae6cdabca41dd8 /boca-1.5.0/tools/etc/icpc/installboca.sh | |
| parent | f8c7c32e3ea6417ccf04309ec521b39a0c20414d (diff) | |
| download | boca-5d4eca5257a60c5f1de043fdf3f67e0a9df011f4.tar.gz boca-5d4eca5257a60c5f1de043fdf3f67e0a9df011f4.zip | |
many small bug fixes
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 ===============" |