# HG changeset patch
# User Matthew Wild <mwild1@gmail.com>
# Date 1228073790 0
# Node ID cadc9d6db7d888bbc96d1e66bc9b0bec26f9e3a8
# Parent  eb50ee09c2bb00246a59d4f13ae033cd2badc7ac
Use install to strip symbols

diff -r eb50ee09c2bb -r cadc9d6db7d8 util-src/Makefile
--- a/util-src/Makefile	Sun Nov 30 19:31:43 2008 +0000
+++ b/util-src/Makefile	Sun Nov 30 19:36:30 2008 +0000
@@ -12,8 +12,7 @@
 all: encodings.so hashes.so
 
 install: encodings.so hashes.so
-	strip *.so
-	cp *.so ../util/
+	install -s *.so ../util/
 	
 
 clean: