Index: TipAndDoc/.bashrc
===================================================================
--- TipAndDoc/.bashrc	(revision 7ee0f52f2c0c03deade3af3af3b68be80e37f8b9)
+++ TipAndDoc/.bashrc	(revision e61eeac3069a4e7036dcdd27a2df16b7246127c2)
@@ -44,5 +44,5 @@
 
 function hexcmp {
-    cmp -l $@ | awk '{printf "%08X %02X %02X\n", $1-1, strtonum(0$2), strtonum(0$3)}'
+    cmp -l "$@" | awk '{printf "%08X %02X %02X\n", $1-1, strtonum(0$2), strtonum(0$3)}'
 }