diff options
| author | Bruce Hill <bruce@bruce-hill.com> | 2025-04-28 14:27:55 -0400 |
|---|---|---|
| committer | Bruce Hill <bruce@bruce-hill.com> | 2025-04-28 14:27:55 -0400 |
| commit | 86c62887099299b233c9dbc65cfc2449d73204a5 (patch) | |
| tree | 259200575fc47d04d66a71a60e89388f388b79b3 | |
| parent | baf990e65c62f42e45fe25ac385db9536d3f1788 (diff) | |
Fix default C compiler in config
| -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 |