diff options
| author | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-02-05 04:35:27 +0100 |
|---|---|---|
| committer | Nicolas "Pixel" Noble <pixel@nobis-crew.org> | 2011-02-05 04:35:27 +0100 |
| commit | 61ba39a23786a7ae9694705af1d146c00a319144 (patch) | |
| tree | f9ad51bee751f7e878ac3e7ad4d45f993605c37d /config | |
| parent | e2d292afdb43cd7d9391128563384e1edd53c52e (diff) | |
Getting rid of newlib, starting to implement a libc. Highly experimental, highly untested.
Diffstat (limited to 'config')
| -rw-r--r-- | config/general.mk | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/config/general.mk b/config/general.mk index 293db96..58b277e 100644 --- a/config/general.mk +++ b/config/general.mk @@ -1,5 +1,6 @@ VERBOSE = false DEBUG = true +USE_FLOATINGPOINT = true ifneq ($(VERBOSE),true) MAKE_OPTS = --no-print-directory -s |