Re: pkg/52853: php72 build fail on rpi with readline

[M33 <m33%sdf.org@localhost>]

The following reply was made to PR pkg/52853; it has been noted by GNATS.

From: M33 <m33%sdf.org@localhost>
To: gnats-bugs%NetBSD.org@localhost
Cc: 
Subject: Re: pkg/52853: php72 build fail on rpi with readline
Date: Mon, 25 Dec 2017 19:38:09 +0100

 Hi,
 
 you may close this pr, as I have no other explanation for it than a
 dying sdcard, wich forced me to do build a new system from scratch on a
 new and working sdcard.
 
 
 I might have messed up with php72 options or whatever, or it did hit
 bad blocks on the previous sdcard.
 
 I can't reproduce it now with a fresh install, so nevermind this pr,
 thanks.
 
 Kind regards,
 M33
 
 > Thank you very much for your problem report.
 > It has the internal identification `pkg/52853'.
 > The individual assigned to look at your
 > report is: pkg-manager. 
 > 
 > > 
 > > Category:Â Â Â Â Â Â Â pkg
 > > Responsible:Â Â Â Â pkg-manager
 > > Synopsis:Â Â Â Â Â Â Â php72 build fail on rpi with readline
 > > Arrival-Date:Â Â Â Sat Dec 23 09:50:00 +0000 2017