Commit 14a2aa6a authored by thomas.forbriger's avatar thomas.forbriger
Browse files

[CLOSE] (issue14): modifications are applied

parent ef13603c
this is <issue14_do_not_rely_on_bin_bash.txt>
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
* 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
----- END OF issue14_do_not_rely_on_bin_bash.txt -----
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment