From 3edb723e2f78994502e5369559b406ee79f0e12c Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luk=C3=A1=C5=A1=20Krup=C4=8D=C3=ADk?= Date: Fri, 10 Mar 2017 09:41:21 +0100 Subject: [PATCH] remove harmonization.sh --- harmonization.sh | 16 ---------------- 1 file changed, 16 deletions(-) delete mode 100755 harmonization.sh diff --git a/harmonization.sh b/harmonization.sh deleted file mode 100755 index 5f2aa412..00000000 --- a/harmonization.sh +++ /dev/null @@ -1,16 +0,0 @@ -# !/bin/bash - -echo "" -echo "Harmonization easyconfig" -cd /apps/easybuild -cd easyconfigs-it4i -echo -n "== easyconfigs-it4i [" -git pull --rebase >/dev/null 2>/dev/null && echo "OK]" || echo "FALSE]" -echo -n "== easyconfigs-master [" -cd ../easyconfigs-master -git pull --rebase >/dev/null 2>/dev/null && echo "OK]" || echo "FALSE]" -cd ../easyconfigs-develop -echo -n "== easyconfigs-develop [" -git pull --rebase >/dev/null 2>/dev/null && echo "OK]" || echo "FALSE]" -cd .. -echo ""