Add modf() so that printf() works with floating point formats
authorNick Downing <downing.nick@gmail.com>
Fri, 20 Jan 2017 00:58:11 +0000 (11:58 +1100)
committerNick Downing <downing.nick@gmail.com>
Fri, 20 Jan 2017 00:58:30 +0000 (11:58 +1100)
commitdb7f1a2652203376a694d6dbc3cfed5969f8fdfa
treee3e01cf80dcdbf593df27f616e3160153a77a4cf
parentccf0ac16f146d050f9294da4f1a581a36b4dbc43
Add modf() so that printf() works with floating point formats
lib/libstdc/linux/gen/Makefile
lib/libstdc/linux/gen/modf.c [new file with mode: 0644]
test/Makefile [new file with mode: 0644]
test/hello.c
test/n.sh [deleted file]