vmt/udis86 — pull request #68 by vegard (2013-11-14 15:39:08+00:00)
Title: tests: use bash instead of sh to run difftest.sh

On Ubuntu, /bin/sh is a symlink to /bin/dash, however difftest.sh uses
bash-specific constructs and fails when run using dash. Therefore, run
this script explicitly using bash.