if [ "$*" = "-f" ];then
formatpatch
else for arg in "$@";do
+ arg="$(echo "$arg"|sed 's/^https:/http:/')"
# http://sourceware.org/ml/gdb-cvs/2099-99/msg99999.html
if [ "$arg" != "${arg#http://sources.redhat.com/}" ];then
arg="http://sourceware.org/${arg#http://sources.redhat.com/}"