diff options
| -rwxr-xr-x | etc/environments/default | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/etc/environments/default b/etc/environments/default index 25646e6..c7c7953 100755 --- a/etc/environments/default +++ b/etc/environments/default @@ -13,7 +13,7 @@ c=gcc cxx=g++ # $1 - target -# $2 - bbot executable +# $2 - bbot executable (if absent, then run $SHELL) # $3+ - bbot options set -e # Exit on errors. @@ -35,4 +35,10 @@ case "$1" in esac shift -exec "$@" cc config.c="$c $mode" config.cxx="$cxx $mode" +if test $# -ne 0; then + exec "$@" cc config.c="$c $mode" config.cxx="$cxx $mode" +else + echo "config.c=$c $mode" 1>&2 + echo "config.cxx=$cxx $mode" 1>&2 + exec $SHELL -i +fi |