diff options
| author | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 13:28:51 +0200 |
|---|---|---|
| committer | Eelco Dolstra <edolstra@gmail.com> | 2020-09-21 13:30:05 +0200 |
| commit | d110fdd03f8860b2a1cd689187f8056b9e22af09 (patch) | |
| tree | 4f298191948db0ca9317291fcce5a810f0cbcb96 /mk | |
| parent | fd721f06f5ed630bb8362213c0990d79d2b87dd7 (diff) | |
Disable precompiled headers in 'nix develop'
They're still enabled in regular builds though.
Diffstat (limited to 'mk')
| -rw-r--r-- | mk/precompiled-headers.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mk/precompiled-headers.mk b/mk/precompiled-headers.mk index 500c99e4a..1fdb4b3a4 100644 --- a/mk/precompiled-headers.mk +++ b/mk/precompiled-headers.mk @@ -1,4 +1,4 @@ -PRECOMPILE_HEADERS ?= 1 +PRECOMPILE_HEADERS ?= 0 print-var-help += \ echo " PRECOMPILE_HEADERS ($(PRECOMPILE_HEADERS)): Whether to use precompiled headers to speed up the build"; |