echo "Downloading newlib sources..."
wget -c ftp://sources.redhat.com/pub/newlib/${NEWLIB}.tar.gz
echo "Downloading gdb sources..."
echo "Downloading newlib sources..."
wget -c ftp://sources.redhat.com/pub/newlib/${NEWLIB}.tar.gz
echo "Downloading gdb sources..."