diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-19 03:38:51 +0000 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2020-02-19 03:43:42 +0000 |
| commit | 6dcfac476fdb8334fc682304e12a5db6f21b3a22 (patch) | |
| tree | 268cb41774caa5eb2327e2c4ebbe1895046114c4 /reproduce/software/shell/configure.sh | |
| parent | 9ec1f18fd503408a574179a96b0e9a15d20be4ed (diff) | |
Building of GCC now only done when /dev/shm has more than 10GB free
Until now, like all software on GNU/Linux systems GCC would be built in RAM
(to speed up the build slightly and also not put too much stress on the
HDDs/SSDs). But some systems don't have enough RAM for building GCC and
will complain and crash.
With this commit, we have added a check on the amount of free space in the
`build_tmp' directory (which will be `/dev/shm' on GNU/Linux systems). If
the amount of free space isn't more than 10GB, then GCC won't be built
there and a temporary directory will be built under the `$(BDIR)/software'
directory for it.
This bug was found by Zahra Sharbaf.
This fixes bug #57853.
Diffstat (limited to 'reproduce/software/shell/configure.sh')
0 files changed, 0 insertions, 0 deletions