diff options
| author | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 14:10:29 +0100 |
|---|---|---|
| committer | Mohammad Akhlaghi <mohammad@akhlaghi.org> | 2018-02-15 14:22:04 +0100 |
| commit | f9de1124b675b2cfd09e9ad75aeda45ecea7319a (patch) | |
| tree | a83fe1129e9ac5a641f15c57bd1ce7a1d795ec66 /reproduce/src/make/download.mk | |
| parent | e45ac9f074a62a0dab26e4de86e4c97458384d18 (diff) | |
Gnuastro's memory mapping is now a local variable
As described in the commens above `MINMAPSIZE' of `LOCAL.mk.in', the amount
of memory to map to HDD/SSD or keep in RAM is a local issue and not
relevant to the pipeline's results. So it is now defined in a
`gnuastro-local.conf' file.
To keep the Makefiles clean, this file is created by the `./configure'
script. To do this cleanly, the `./configure' script was also almost fully
re-written with better functionality now.
Diffstat (limited to 'reproduce/src/make/download.mk')
0 files changed, 0 insertions, 0 deletions