Correct command line option to select ARM float-abi=hard
Correct command line option to select ARM float-abi=hard

vkorhonen/pocl,sting47/pocl,pocl/pocl,jrprice/pocl,franz/pocl,pavanky/pocl,pocl/pocl,sting47/pocl,hugwijst/pocl,rjodin/pocl,pavanky/pocl,franz/pocl,hugwijst/pocl,0charleschen0/pocl,rjodin/pocl,hugwijst/pocl,jrprice/pocl,maZZZu/pocl,dsandersimgtec/pocl,Oblomov/pocl,Oblomov/pocl,vkorhonen/pocl,rjodin/pocl,pavanky/pocl,franz/pocl,sting47/pocl,franz/pocl,dsandersimgtec/pocl,hugwijst/pocl,hugwijst/pocl,pocl/pocl,0charleschen0/pocl,Oblomov/pocl,sting47/pocl,dsandersimgtec/pocl,0charleschen0/pocl,maZZZu/pocl,maZZZu/pocl,vkorhonen/pocl,rjodin/pocl,maZZZu/pocl,franz/pocl,Oblomov/pocl,jrprice/pocl,jrprice/pocl,sting47/pocl,Oblomov/pocl,pocl/pocl,dsandersimgtec/pocl,pavanky/pocl,pocl/pocl,0charleschen0/pocl,vkorhonen/pocl