From 72e95a48e36c064a081291f5c645e8fe7e9e52d3 Mon Sep 17 00:00:00 2001
From: Sebastian Rasmussen <sebras@gmail.com>
Date: Fri, 26 Mar 2021 16:40:45 +0100
Subject: [PATCH] Add user.make for persistent custom settings.

---
 .gitignore | 1 +
 Makefile   | 2 ++
 2 files changed, 3 insertions(+)

diff --git a/.gitignore b/.gitignore
index d766ce4..a90efe4 100644
--- a/.gitignore
+++ b/.gitignore
@@ -7,5 +7,6 @@ build
 tags
 
 # Editor settings:
+user.make
 .exrc
 .vimrc
diff --git a/Makefile b/Makefile
index 974bee8..896c510 100644
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
 # Build type and install directories:
 
+-include user.make
+
 build ?= release
 
 prefix ?= /usr/local