Build issue due to wget being unable to fetch specified pin tool

[dmnkschndr]

When executing make wget is trying to download the specified pin tool from the intel servers, but does not receive a response. Constructing the download link myself and using a webbrowser to download the tool works. After placing the tool within the pin directory make runs successfully.

I took a closer look at the issue and could fix it by adding a user-agent string like: wget -U "Mozilla/5.0 (X11; Linux i686) AppleWebKit/537.17 (KHTML, like Gecko) Chrome/24.0.1312.27 Safari/537.17" https://software.intel.com/sites/landingpage/pintool/downloads/pin-3.11-97998-g7ecce2dac-gcc-linux.tar.gz

I could provide a pull request myself, but I'm not sure whether a static user-agent string within the Makefile is a good idea.

OS: Ubuntu 22.10 (VM)
wget: 1.21.3

Source

Edit: added OS and wget version

[aewag]

Ah, that's something we have not yet experienced. Probably as we used it until now only with a Linux machine. I am currently out-of-office, but I will check after my return how to best solve this.