Subject: bug#18701: closed (Re: bug#18701: Intermittent build failures for man-pages)

From: [email-masked] (GNU bug Tracking System)
Date: Sun, 02 Nov 2014 22:24:02 +0000

Your bug report

#18701: Intermittent build failures for man-pages

which was filed against the guix package, has been closed.

The explanation is attached below, along with your original report.
If you require more details, please reply to [email-masked].

-- 
18701: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=18701
GNU Bug Tracking System
Contact [email-masked] with problems

Subject: Re: bug#18701: Intermittent build failures for man-pages
From: [email-masked] (Ludovic Courtès)
To: Mark H Weaver <[email-masked]>
Cc: [email-masked]
Date: Sun, 02 Nov 2014 23:24:19 +0100
List-Id: <debbugs-submit.debbugs.gnu.org>

Fixed in 3b50925.

Thanks,
Ludo’.

Subject: Intermittent build failures for man-pages
From: Mark H Weaver <[email-masked]>
To: [email-masked]
Date: Mon, 13 Oct 2014 02:23:36 -0400
List-Id: <debbugs-submit.debbugs.gnu.org>

There are intermittent build failures for man-pages.  See:

  http://hydra.gnu.org/job/gnu/master/man-pages-3.69.x86_64-linux
  http://hydra.gnu.org/job/gnu/master/man-pages-3.69.i686-linux

The failures are the same:

--8<---------------cut here---------------start------------->8---
starting phase `install'
for i in man?; do \
	install -d -m 755 /gnu/store/9jfk1pgn4jrh3nzs2fmvihfyj7aglajq-man-pages-3.69/share/man/"$i" || exit $?; \
	install -m 644 "$i"/* /gnu/store/9jfk1pgn4jrh3nzs2fmvihfyj7aglajq-man-pages-3.69/share/man/"$i" || exit $?; \
done; \

install: cannot stat 'man6/*': No such file or directory
Makefile:53: recipe for target 'install' failed
make: *** [install] Error 1
--8<---------------cut here---------------end--------------->8---

       Mark