Closed vegard closed 10 years ago
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.
Thanks!
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.