From 272da490ac7cfa30dc49910ff9ef6551de5db686 Mon Sep 17 00:00:00 2001
From: Chris Hanson <org/chris-hanson/cph>
Date: Sun, 29 Apr 2007 17:56:15 +0000
Subject: [PATCH] Eliminate unused ${FULL}.

---
 v7/src/etc/Clean.sh | 10 ++--------
 1 file changed, 2 insertions(+), 8 deletions(-)

diff --git a/v7/src/etc/Clean.sh b/v7/src/etc/Clean.sh
index 56c39d5e6..31edbe09a 100755
--- a/v7/src/etc/Clean.sh
+++ b/v7/src/etc/Clean.sh
@@ -1,6 +1,6 @@
 #!/bin/sh
 #
-# $Id: Clean.sh,v 1.17 2007/04/04 05:08:19 riastradh Exp $
+# $Id: Clean.sh,v 1.18 2007/04/29 17:56:15 cph Exp $
 #
 # Copyright (C) 1986, 1987, 1988, 1989, 1990, 1991, 1992, 1993, 1994,
 #     1995, 1996, 1997, 1998, 1999, 2000, 2001, 2002, 2003, 2004,
@@ -45,21 +45,15 @@ else
     exit 1
 fi
 
-FULL="no"
 DIST="no"
 MAINTAINER="no"
 case "${COMMAND}" in
-mostlyclean)
-    ;;
-clean)
-    FULL="yes"
+mostlyclean | clean)
     ;;
 distclean | c-clean)
-    FULL="yes"
     DIST="yes"
     ;;
 maintainer-clean)
-    FULL="yes"
     DIST="yes"
     MAINTAINER="yes"
     ;;
-- 
2.25.1