The name of the OS is configurable via a Makefile variable

This commit is contained in:
Georges Dupéron 2018-10-01 23:52:32 +02:00
parent 3126558a4f
commit 95216b8439

View File

@ -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}