jts/dbgfm — pull request #2 by sjackman (2013-09-15 19:28:01+00:00)
Title: Fix issue #1 and tidy up the Makefile

7f0b2fb The type of decode's numBitsRead is DECODE_UNIT
c8fc703 Add `set -eu` to run_bwtdisk.sh
8c5cee6 Tidy up the Makefile