9fdeeb872f
- Replacing wget by curl for downloading packages - Adjusting a few URLs that were no longer valid - Contributing a new script for checking the validity of URLs specified in AllMake.stage* files: ThirdParty/tools/verifyURLs.sh Usage: ThirdParty/tools/verifyURLs.sh ThirdParty/AllMake.stage1 |
||
---|---|---|
.. | ||
makeThirdPartyFunctionsForRPM | ||
verifyURLs.sh |