Rob, I've had a better look and I found that I was seeing this as well. I've pushed a fix and it no longer seems to be doing it. It's a very small change so I would be very surprised if it has broken anything but I'll give it a couple of days and then release 5.7.1.
Regards, David
On 25/11/2017 16:44, Rob Arthan wrote:
David,
Knowing Phil he will be using some version of Linux, but I see similar results on Mac OS: E.g., on Mac OS High Sierra 10.13.1:
rda]- echo | time /usr/local/poly/5.7-inf/bin/poly Poly/ML 5.7 Release 0.00 real 0.00 user 0.00 sys rda]- echo | time /usr/local/poly/5.7.1-inf/bin/poly Poly/ML 5.7.1 Release (Git version v5.7-290-g44b7b88e) 0.40 real 0.00 user 0.00 sys
Over repeated experiments, I see occasional upwards blips in the real time for 5.7, but 5.7.1 sticks doggedly to about 0.4 seconds.
Regards,
Rob.