diff options
| author | cassio <cassiopc@gmail.com> | 2013-07-02 05:44:46 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2013-07-02 05:44:46 +0000 |
| commit | a9aa438ea0558eb0044cf1e54a9190ddb41b65e5 (patch) | |
| tree | 4b825dc642cb6eb9a060e54bf8d69288fbee4904 /boca-1.5.2/tools/etc/icpc/update.sh | |
| parent | 94caebadeb66ad7b453d4258a796979cafb758b0 (diff) | |
| download | boca-a9aa438ea0558eb0044cf1e54a9190ddb41b65e5.tar.gz boca-a9aa438ea0558eb0044cf1e54a9190ddb41b65e5.zip | |
restructuring of boca's git
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 $? |