diff --git a/configure/E3/CONFIG_SHELL b/configure/E3/CONFIG_SHELL index b35126f3d81d2ac2200ce10c844ce1f0973cc0eb..2238a6bce39bc37fd862d0e1169edf9bf1d7adbe 100644 --- a/configure/E3/CONFIG_SHELL +++ b/configure/E3/CONFIG_SHELL @@ -1,8 +1,7 @@ - ifdef DEBUG_SHELL SHELL = /bin/sh -x else - SHELL = /usr/bin/bash + SHELL = /usr/bin/env bash endif VARS_EXCLUDES+=SHELL