David Given
|
94ffa3ba88
|
libc floating point and stdio floating point can now be turned on and off using
ACKCONF variables.
|
2018-06-23 00:04:14 +02:00 |
|
|
David Given
|
9bf1d548fc
|
Rearrange the libc config files, ready for adding new options.
|
2018-06-22 23:43:15 +02:00 |
|
|
David Given
|
11854f4dfe
|
Ansify and warning fix.
|
2018-06-17 22:30:27 +02:00 |
|
|
David Given
|
36ab90385f
|
Change sbrk() to take an int rather than an intptr_t (following the OpenBSD way
rather than the Linux way; various non-C bits of the ACK assume it takes an
int, so it's cleaner).
|
2016-11-23 22:06:24 +01:00 |
|
|
David Given
|
b549980af2
|
Wasn't exporting the plat headers; refactor to make this a little cleaner.
|
2016-08-14 11:01:36 +02:00 |
|
dtrg
|
be8baf3da6
|
Added cpm platform.
|
2007-04-27 22:42:41 +00:00 |
|