gcc/maintainer-scripts
Jakub Jelinek f4ae1f2c43 maintainer-scripts: Use /sourceware/snapshot-tmp/gcc as temp directory if possible
> https://gcc.gnu.org/pipermail/gccadmin/2020q4/017037.html
>
> OSError: [Errno 28] No space left on device:
> '/tmp/tmp.Zq3p6D4MxS/gcc/.git/objects/objn31xpefh' ->
> '/tmp/tmp.Zq3p6D4MxS/gcc/.git/objects/db/ffb02a4bcdd4ec04af3db75d86b8cc2e52bdff'
>
> Maybe change the script to use /sourceware/snapshot-tmp/gcc (which has
> rather more space) instead of /tmp?

This patch implements that.

2020-12-17  Jakub Jelinek  <jakub@redhat.com>

	* update_version_git: Put BASEDIR into /sourceware/snapshot-tmp/gcc
	if it exist.
2020-12-17 00:15:23 +01:00
..
branch_changer.py Document branch_changer.py script 2016-08-17 10:30:37 +00:00
bugzilla-close-candidate.py bugzilla-close-candidate.py: Fix sorting of branches. 2020-05-29 16:37:48 +02:00
ChangeLog Daily bump. 2020-05-30 00:16:27 +00:00
crontab Adjust crontab. 2020-04-30 19:25:03 +02:00
gcc_release maintainer-scripts: Fix up gcc_release without -l, where mkdir was using umask 077 after migration 2020-03-12 18:30:16 +01:00
generate_libstdcxx_web_docs Improve error message for bad arguments to script 2019-02-23 21:19:04 +00:00
maintainer-addresses
README
update_version_git maintainer-scripts: Use /sourceware/snapshot-tmp/gcc as temp directory if possible 2020-12-17 00:15:23 +01:00
update_web_docs_git maintainer-scripts: Fix jit documentation build with update_web_docs_git 2020-03-12 14:46:28 +01:00
update_web_docs_libstdcxx_git Replace update_web_docs_libstdcxx_svn with update_web_docs_libstdcxx_git 2020-01-13 21:40:44 +00:00

This directory contains various files used by the gccadmin account on
gcc.gnu.org, mainly for automated tasks such as the daily update of
the date in gcc/DATESTAMP.  There isn't presently any scheme for files
checked in here to be automatically checked out and used by gccadmin,
so the files in Subversion and those used by gccadmin must be kept in
sync manually.