diff options
| author | cassiopc <cassiopc@gmail.com> | 2012-08-06 15:27:18 +0000 |
|---|---|---|
| committer | cassiopc <cassiopc@gmail.com> | 2012-08-06 15:27:18 +0000 |
| commit | d75956684f9599b8daf705b11d67c75186ea7e3f (patch) | |
| tree | b22f943e9ab3c6849898e3cf5e9659a7ed24b359 /boca-1.5.0/tools | |
| parent | 2c2663e03f56149ad4c909858b93fb3c1ea9f271 (diff) | |
| download | boca-d75956684f9599b8daf705b11d67c75186ea7e3f.tar.gz boca-d75956684f9599b8daf705b11d67c75186ea7e3f.zip | |
moving problem examples to better places and fixing a couple of typos in the problem's interface
Diffstat (limited to 'boca-1.5.0/tools')
| -rwxr-xr-x | boca-1.5.0/tools/etc/icpc/becomeserver.sh | 2 | ||||
| -rw-r--r-- | boca-1.5.0/tools/icpc.etc.tgz | bin | 8632 -> 8634 bytes | |||
| -rwxr-xr-x | boca-1.5.0/tools/installv2.sh | 1 |
3 files changed, 1 insertions, 2 deletions
diff --git a/boca-1.5.0/tools/etc/icpc/becomeserver.sh b/boca-1.5.0/tools/etc/icpc/becomeserver.sh index 31db6db..07caccf 100755 --- a/boca-1.5.0/tools/etc/icpc/becomeserver.sh +++ b/boca-1.5.0/tools/etc/icpc/becomeserver.sh @@ -190,7 +190,7 @@ fi if [ "$OK" == "y" ]; then cd $bocadir/src php private/createdb.php -cd - +cd - >/dev/null 2>/dev/null echo "database renewed. Data on bocadb has been lost" else echo "*** database not erased. Check if BOCA is compatible. You can always erase the database and" diff --git a/boca-1.5.0/tools/icpc.etc.tgz b/boca-1.5.0/tools/icpc.etc.tgz Binary files differindex ed8306a..d3b7025 100644 --- a/boca-1.5.0/tools/icpc.etc.tgz +++ b/boca-1.5.0/tools/icpc.etc.tgz diff --git a/boca-1.5.0/tools/installv2.sh b/boca-1.5.0/tools/installv2.sh index 5552aa9..03cbd29 100755 --- a/boca-1.5.0/tools/installv2.sh +++ b/boca-1.5.0/tools/installv2.sh @@ -20,7 +20,6 @@ echo "#############################################################" echo "### installv2.sh of 06/Aug/2012 (A) by cassio@ime.usp.br ###" echo "#############################################################" -# checked with ubuntu 10.04 and 10.10 and 11.04 and 12.04 for i in id chown chmod cut awk tail grep cat sed mkdir rm mv sleep apt-get add-apt-repository update-alternatives; do p=`which $i` |