changeset 488:46919842ad33

Simplify shell code.
author Oleksandr Gavenko <gavenkoa@gmail.com>
date Tue, 15 May 2012 22:03:29 +0300
parents 2928c453c368
children 421f509da795
files cygwin/cygrun/Makefile
diffstat 1 files changed, 4 insertions(+), 6 deletions(-) [+]
line wrap: on
line diff
--- a/cygwin/cygrun/Makefile	Thu May 03 15:57:29 2012 +0300
+++ b/cygwin/cygrun/Makefile	Tue May 15 22:03:29 2012 +0300
@@ -91,12 +91,10 @@
 .PHONY: uninstall
 uninstall:
 	for file in $(addprefix $(bindir)/,$(INST_FILES)); do \
-		if [ -f $$file ]; then \
-			if rm $$file; then :; \
-			else \
-				echo Unable to delete $$file; \
-				exit 1; \
-			fi; \
+		if rm $$file; then :; \
+		else \
+			echo Unable to delete $$file; \
+			exit 1; \
 		fi; \
 	done