From 3a5f406ff59a05c0eddda191127d58b39cb8049b Mon Sep 17 00:00:00 2001
From: cassiopc <cassiopc@gmail.com>
Date: Wed, 24 Oct 2012 09:56:07 +0200
Subject: open dir for 1.5.2. I still must split devel and master in different
 branches to properly use git...

---
 boca-1.5.2/tools/etc/icpc/update.sh | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 boca-1.5.2/tools/etc/icpc/update.sh

(limited to 'boca-1.5.2/tools/etc/icpc/update.sh')

diff --git a/boca-1.5.2/tools/etc/icpc/update.sh b/boca-1.5.2/tools/etc/icpc/update.sh
new file mode 100644
index 0000000..f6b4bb6
--- /dev/null
+++ b/boca-1.5.2/tools/etc/icpc/update.sh
@@ -0,0 +1,14 @@
+#!/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 $?
-- 
cgit v1.2.3