summaryrefslogtreecommitdiff
path: root/archrm.in
diff options
context:
space:
mode:
authorJelle van der Waa <jelle@vdwaa.nl>2019-02-02 19:09:36 +0100
committerLevente Polyak <levente@leventepolyak.net>2019-02-24 13:37:37 +0100
commit26b2ffc665fb78bfe3345892b7d740d5835387f2 (patch)
treeb0d9f1094c001111bed938a12c79a2f7eaa4fc6b /archrm.in
parent62306018f2cea57aafae410f00d00d2594592e8f (diff)
downloaddevtools32-26b2ffc665fb78bfe3345892b7d740d5835387f2.tar.xz
remove arch rm as it's not really useful
archrm is a not much more fancy rm -rf and therefore not really useful to ship.
Diffstat (limited to 'archrm.in')
-rw-r--r--archrm.in16
1 files changed, 0 insertions, 16 deletions
diff --git a/archrm.in b/archrm.in
deleted file mode 100644
index 6f4dfc3..0000000
--- a/archrm.in
+++ /dev/null
@@ -1,16 +0,0 @@
-#!/bin/bash
-# License: Unspecified
-
-m4_include(lib/common.sh)
-
-if [[ -z $1 ]]; then
- echo 'Usage: archrm <path to checkout>'
- exit 1
-fi
-
-# FIXME: Check if there are uncommited changes
-#pushd $1
-#
-#popd
-
-rm -rf "$1"