path: root/scripts/
AgeCommit message (Expand)AuthorFilesLines
2017-02-22Kill a generated fileAlexey Neyman1-64/+0
2017-02-13stat: determine whether it is BSD or GNU flavorAlexey Neyman1-0/+64
2017-02-13Detect both wget/curl and allow user to select the agentAlexey Neyman1-54/+0
2015-10-30Fix samples using GMP 4.3.2.Alexey Neyman1-4/+4
2009-10-30scripts: some eye-candyYann E. MORIN"1-1/+2
2009-10-30scripts: fix updating config.{sub,guess}Yann E. MORIN"1-4/+2
2008-12-16Get rid of the tols/ directory:Yann E. MORIN"1-0/+55