run.sh: provide gdb option
authorBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:32:05 +0000 (10:32 -0700)
committerBrian Norris <banorris@uci.edu>
Mon, 21 May 2012 17:32:05 +0000 (10:32 -0700)
commitc77d1d922ed975933eab0b527c2c2e2951b64174
tree6217a3306167a3362d6ab1ce6cff503e4630f6e6
parent0cea5009ef09585eaa6e60ba5a4662a2ea60eec4
run.sh: provide gdb option
run.sh