Processed: Re: gcc build in gnattools apparently not safe for parallel builds

To: Nicolas Boulenguez <nicolas@debian.org>
Cc: debian-gcc@lists.debian.org
Subject: Processed: Re: gcc build in gnattools apparently not safe for parallel builds
From: owner@bugs.debian.org (Debian Bug Tracking System)
Date: Sun, 21 May 2017 12:00:04 +0000
Message-id: <[🔎] handler.s.B857831.149536779018556.transcript@bugs.debian.org>
References: <[🔎] 20170521115626.gjlhvo2serdbukjq@pegase> <129d902e-c3d7-e687-5019-fec2020a821c@debian.org>

Processing control commands:

> tags -1 + patch
Bug #857831 [src:gcc-7] gcc build in gnattools apparently not safe for parallel builds
Added tag(s) patch.

-- 
857831: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=857831
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems

Reply to:

References:
- Bug#857831: gcc build in gnattools apparently not safe for parallel builds
  - From: Nicolas Boulenguez <nicolas@debian.org>

Prev by Date: Processed: merging 861737 845159
Next by Date: Bug#857831: gcc build in gnattools apparently not safe for parallel builds
Previous by thread: Bug#857831: gcc build in gnattools apparently not safe for parallel builds
Next by thread: Bug#857831: gcc build in gnattools apparently not safe for parallel builds
Index(es):
- Date
- Thread