From 3a5f406ff59a05c0eddda191127d58b39cb8049b Mon Sep 17 00:00:00 2001 From: cassiopc 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/cleandisk.sh | 4 ++++ 1 file changed, 4 insertions(+) create mode 100755 boca-1.5.2/tools/etc/icpc/cleandisk.sh (limited to 'boca-1.5.2/tools/etc/icpc/cleandisk.sh') diff --git a/boca-1.5.2/tools/etc/icpc/cleandisk.sh b/boca-1.5.2/tools/etc/icpc/cleandisk.sh new file mode 100755 index 0000000..0d177de --- /dev/null +++ b/boca-1.5.2/tools/etc/icpc/cleandisk.sh @@ -0,0 +1,4 @@ +#!/bin/bash + +mkdir -p /home/icpc +/usr/bin/touch /home/icpc/.cleandisk.sh -- cgit v1.2.3