[isabelle-dev] build -x not working anymore

[Fabio Madge Pimentel]

Building all of Isabelle including the AFP doesn’t work anymore. This can be reproduced with the latest development versions, as well as the tagged Isabelle2017 versions.

	./isabelle build -ad ~/afp-devel/thys/ -x HOL

Fabio
-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 874 bytes
Desc: Message signed with OpenPGP
URL: <https://mailmanbroy.informatik.tu-muenchen.de/pipermail/isabelle-dev/attachments/20171103/a91f0476/attachment-0001.asc>