e2e6bc456d6349c29c922c0cc40f6da54aef3bb7
galt
  Sun Jun 13 14:10:21 2010 -0700
safer to be agnostic about the git pull for now
diff --git src/makefile src/makefile
index 2d0a597..0913399 100644
--- src/makefile
+++ src/makefile
@@ -9,8 +9,7 @@
 
 # do a git update and clean
 update:
-	git pull origin master
-	git checkout master
+	git pull -q
 	${MAKE} clean
 
 topLibs: