diff options
Diffstat (limited to 'Master/install-tl')
-rwxr-xr-x | Master/install-tl | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/Master/install-tl b/Master/install-tl index fd8c1685c64..9dd4a6c5a4c 100755 --- a/Master/install-tl +++ b/Master/install-tl @@ -951,7 +951,11 @@ sub do_installation { if ($diskfree != -1) { my $reserve = 100; if ( $diskfree + $reserve < $vars{'total_size'}) { - die("DISK SPACE INSUFFICIENT!"); + if ($ENV{'TEXLIVE_INSTALL_NO_DISKCHECK'}) { + tlwarn("Insufficient disk space, but continuing anyway."); + } else { + die("DISK SPACE INSUFFICIENT!"); + } } } # now remove final slash from TEXDIR even if it is the root of a drive |