aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rwxr-xr-xkerl10
1 files changed, 6 insertions, 4 deletions
diff --git a/kerl b/kerl
index 0dd1442..1a01a28 100755
--- a/kerl
+++ b/kerl
@@ -801,12 +801,14 @@ case "$1" in
rel=`get_release_from_name $3`
if [ -d "$KERL_BUILD_DIR/$3" ]; then
rm -Rf "$KERL_BUILD_DIR/$3"
- list_remove $2s "$rel,$3"
- echo "The $3 build has been deleted"
else
- echo "No build named $3"
- exit 1
+ if [ -z "$rel" ]; then
+ echo "No build named $3"
+ exit 1
+ fi
fi
+ list_remove $2s "$rel,$3"
+ echo "The $3 build has been deleted"
;;
installation)
assert_valid_installation "$3"