diff options
Diffstat (limited to 'configure.sh')
| -rwxr-xr-x | configure.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/configure.sh b/configure.sh index 9ad06fb0..51fc3677 100755 --- a/configure.sh +++ b/configure.sh @@ -34,7 +34,7 @@ TOMO_HOME="${TOMO_HOME/#\~/$HOME}" default_cc="cc" printf '\033[1mChoose which C compiler to use by default (default: %s):\033[m ' "$default_cc" read DEFAULT_C_COMPILER -if [ -z "$DEFAULT_C_COMPILER" ]; then DEFAULT_C_COMPILER="$default_home"; fi +if [ -z "$DEFAULT_C_COMPILER" ]; then DEFAULT_C_COMPILER="cc"; fi DEFAULT_C_COMPILER="${DEFAULT_C_COMPILER/#\~/$HOME}" cat <<END >config.mk |