|
From: | Jean-Charles Malahieude |
Subject: | Re: Make doc is broken |
Date: | Sat, 20 Aug 2011 19:48:42 +0200 |
User-agent: | Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.9.2.18) Gecko/20110621 Fedora/3.1.11-1.fc14 Thunderbird/3.1.11 |
Le 20/08/2011 17:26, Jean-Charles Malahieude disait :
Le 20/08/2011 16:26, Phil Holmes disait :I think Reinhold's commit cfcb9efdbd7c6600fc89fc912ba80529010b31e7 has broken make doc. I've just done a clean build (fresh build directory) and get this at the end of a failed make doc: [...]I had made a fresh build and make doc before pushing, and have not encountered this... Let me try it again while translating on a local clone, and saving the logs just in case. Without a "-j3", it will last about 90mn.
Verdict: success Cheers, Jean-Charles
[Prev in Thread] | Current Thread | [Next in Thread] |