fix SHELL makefile variable to be set by the configure script (fixes #8783)

Authored by kgardas on Mar 12 2014, 10:14 AM.

Description

fix SHELL makefile variable to be set by the configure script (fixes Trac #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>

Details

Committed
austinMar 13 2014, 5:56 PM
Pushed
bgamariAug 25 2016, 1:39 PM
Parents
rGHCDIFF46d05ba03d14: Fix two issues in stg_newArrayzh
Branches
Unknown
Tags
Unknown