patching file soft-fp/eqhf2.c
patching file soft-fp/extendhfdf2.c
patching file soft-fp/extendhfsf2.c
patching file soft-fp/half.h
patching file soft-fp/truncdfhf2.c
patching file soft-fp/truncsfhf2.c