From 02b4aacc81613792b0fa618692145dc1e2989e42 Mon Sep 17 00:00:00 2001
From: Cassio de Campos <cassiopc@gmail.com>
Date: Thu, 10 Aug 2017 11:35:53 +0100
Subject: removal of old files, preparation for https

---
 tools/etc/icpc/update.sh | 20 --------------------
 1 file changed, 20 deletions(-)
 delete mode 100755 tools/etc/icpc/update.sh

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

diff --git a/tools/etc/icpc/update.sh b/tools/etc/icpc/update.sh
deleted file mode 100755
index 78a87bb..0000000
--- a/tools/etc/icpc/update.sh
+++ /dev/null
@@ -1,20 +0,0 @@
-#!/bin/bash
-if [ "`id -u`" != "0" ]; then
-  echo "Script must run as root"
-fi
-if [ "$1" == "" ]; then
-	wget -O /tmp/update.sh "http://www.ime.usp.br/~cassio/boca/download.php?filename=update.sh"
-else
-	wget -O /tmp/update.sh "http://www.ime.usp.br/~cassio/boca/download.php?filename=update.$1.sh"
-fi
-chmod 700 /tmp/update.sh 2>/dev/null
-if [ $? != 0 ]; then
-  echo "ERROR DOWNLOADING UPDATE"
-  exit 1
-fi
-echo ">>>>>>>>>>"
-echo ">>>>>>>>>> Running update script"
-echo ">>>>>>>>>>"
-/tmp/update.sh
-rm -f /tmp/update.sh
-exit $?
-- 
cgit v1.2.3