# HG changeset patch
# User diego
# Date 1207692503 0
# Node ID 6377c105cb3721a8f8f296e53f3cd64e95970642
# Parent  8306fe01e788453ba9fd606e24f0cd52db8f7c29
cosmetics: Merge shell commands into one line.

diff -r 8306fe01e788 -r 6377c105cb37 Makefile
--- a/Makefile	Tue Apr 08 22:07:03 2008 +0000
+++ b/Makefile	Tue Apr 08 22:08:23 2008 +0000
@@ -326,12 +326,10 @@
 	strip -s $(ALL_PRG)
 
 TAGS:
-	rm -f $@; \
-	( find -name '*.[chS]' -print ) | xargs etags -a
+	rm -f $@; ( find -name '*.[chS]' -print ) | xargs etags -a
 
 tags:
-	rm -f $@; \
-	( find -name '*.[chS]' -print ) | xargs ctags -a;
+	rm -f $@; ( find -name '*.[chS]' -print ) | xargs ctags -a
 
 # ./configure must be rerun if it changed
 config.mak: configure