diff options
Diffstat (limited to 'boca-1.5.2/tools/etc/icpc/update.sh')
| -rw-r--r-- | boca-1.5.2/tools/etc/icpc/update.sh | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/boca-1.5.2/tools/etc/icpc/update.sh b/boca-1.5.2/tools/etc/icpc/update.sh deleted file mode 100644 index f6b4bb6..0000000 --- a/boca-1.5.2/tools/etc/icpc/update.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/bash -if [ "`id -u`" != "0" ]; then - echo "Script must run as root" -fi -wget -O /tmp/update.sh "http://www.ime.usp.br/~cassio/boca/update.sh" -if [ $? != 0 ]; then - echo "ERROR DOWNLOADING UPDATE" - exit 1 -fi -echo ">>>>>>>>>>" -echo ">>>>>>>>>> Running update script" -echo ">>>>>>>>>>" -/tmp/update.sh -exit $? |