scripts/toolchain-config.in
author "Yann E. MORIN" <yann.morin.1998@free.fr>
Sat May 05 23:04:21 2012 +0200 (2012-05-05)
changeset 2961 d84ae99556cd
parent 1189 5c20d52c8270
permissions -rw-r--r--
configure: we do not require curl, but wget.

Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
yann@894
     1
#!/bin/sh
yann@894
     2
yann@2614
     3
tail -n+5 "${0}" |bzcat
yann@894
     4
exit 0