diff options
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 |