Merge branch 'add_local_make_config' into 'master'

Add a file to hold a local make config. See merge request redox-os/redox!1242
2020-07-12 17:11:11 +00:00 · 2020-07-12 17:11:11 +00:00 · 1365b41117
parent da4e22de62 a930d6672e
commit 1365b41117
2 changed files with 3 additions and 0 deletions
--- a/.gitignore
+++ b/.gitignore
@ -1,2 +1,3 @@
 /build/
 /prefix/
+.config
--- a/mk/config.mk
+++ b/mk/config.mk
@ -1,3 +1,5 @@
+-include .config
+
 # Configuration
 ## Architecture to build Redox for (aarch64 or x86_64)
 ARCH?=x86_64