From 95216b843991e4424e57b4f95c27579441f0ec6f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Georges=20Dup=C3=A9ron?= <georges.duperon@gmail.com>
Date: Mon, 1 Oct 2018 23:52:32 +0200
Subject: [PATCH] The name of the OS is configurable via a Makefile variable

---
 Makefile | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Makefile b/Makefile
index d8a6a06..133cad5 100644
--- a/Makefile
+++ b/Makefile
@@ -13,6 +13,10 @@ SHELL = ${CURDIR}/utils/safe-bash.sh
 
 Makefiles = Makefile Makefile.example-os Makefile.test-example-os
 
+# Avoid hardcoding the name of the OS. A name change is frequent (during early
+# development, and when the project is forked), and is often costly.
+os_name = Example OS
+
 os_filename  = ${OS_FILENAME}
 bld          = ${BUILD_DIR}
 screenshots  = ${SCREENSHOTS_DIR}