Do not use attribute((format)) for the libc printf; there are slight differences in the meaning of the format string
Do not use attribute((format)) for the libc printf; there are slight differences in the meaning of the format string

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