diff options
Diffstat (limited to 'Master/common.sh')
-rwxr-xr-x | Master/common.sh | 11 |
1 files changed, 10 insertions, 1 deletions
diff --git a/Master/common.sh b/Master/common.sh index c69a5cb3f77..29f37cfb8ff 100755 --- a/Master/common.sh +++ b/Master/common.sh @@ -307,7 +307,14 @@ this_platform_set() eval this_platform_fn=\$p_${this_system}_fn all_systems_ns=1 fi - + if { echo "$all_systems" | grep -q " $this_system"; } ; then + warn_nobin="" + else + warn_nobin="===> WARNING: No binaries for this platform on CD! <=== +There was not enough space, sorry. You can either select a different +set of binaries from the <B> menu, or use the live image, or download +the binaries separately vis rsync. See http://tug.org/texlive." + fi } TEXMFCNF__fix_texmf() @@ -844,6 +851,7 @@ Other options: ' screen_5='Current platform: $this_platform_n +$warn_nobin ============================================================================== <N> none of the entries below <A> $p_i386_linux_n @@ -1023,6 +1031,7 @@ init() TEXMFHOME=${TEXLIVE_INSTALL_TEXMFHOME-'$HOME/texmf'} VAR_CHANGE="" LOCAL_CHANGE="" + warn_nobin="" screen_1=' ===================> TeX Live installation procedure <================== |