fix SHELL makefile variable to be set by the configure script (fixes #8783)
The patch provided by Christian Maeder <Christian.Maeder@dfki.de> Signed-off-by:Karel Gardas <karel.gardas@centrum.cz> Signed-off-by:
Austin Seipp <austin@well-typed.com> (cherry picked from commit a0bcbb54)
Please register or sign in to comment