ref: 72e95a48e36c064a081291f5c645e8fe7e9e52d3
parent: d1160c79339550f2862750960707ab82dc0b7b8b
author: Sebastian Rasmussen <[email protected]>
date: Fri Mar 26 12:40:45 EDT 2021
Add user.make for persistent custom settings.
--- a/.gitignore
+++ b/.gitignore
@@ -7,5 +7,6 @@
tags
# Editor settings:
+user.make
.exrc
.vimrc
--- a/Makefile
+++ b/Makefile
@@ -1,5 +1,7 @@
# Build type and install directories:
+-include user.make
+
build ?= release
prefix ?= /usr/local