-
we7765 authored
On this branch issue14 will be resolved: do not rely on /bin/bash ------------------------ Parts of the project rely on /bin/bash being the standard shell and /bin/sh being a synonym for /bin/bash. * This is the case in shell scripts, which use bash-specific commands and keywords. * This is the case in Makefiles, which use constructs like 'echo -e' to format multiline string output. The problem can be solved by: * replacing '#!/bin/sh' by '#!/bin/bash' in shell scripts * replacing 'echo -e' by 'printf' in Makefiles
1faeca7f