From 03c0ec74c0b7c573b99f3f48e0c27c19eb342ae5 Mon Sep 17 00:00:00 2001 From: Alexander Mahr Date: Sun, 29 Dec 2024 09:17:22 +0100 Subject: [PATCH] cleanup Makefile and .gitignore --- .gitignore | 2 +- app/Makefile | 4 ++++ 2 files changed, 5 insertions(+), 1 deletion(-) diff --git a/.gitignore b/.gitignore index 11c7eb0..556cceb 100644 --- a/.gitignore +++ b/.gitignore @@ -1,6 +1,6 @@ /Dockerfile /app/result/* -!/app/result/.gitkeep /app/obj/* !/app/obj/.gitkeep /app/app.apk +/app/Makefile.app-config diff --git a/app/Makefile b/app/Makefile index 68459db..fb406df 100644 --- a/app/Makefile +++ b/app/Makefile @@ -76,8 +76,12 @@ Makefile.app-config: app-config.sh Makefile app-config.sh: ./.Makefile.scripts/make--app-config.sh +# rule to effectuate a cleanup clean: rm -rf obj/* result/* +# this rule's purpose is to run "by force" no matter what, doing nothing +# as listed prerequisite to another rule it causes that rule to be made/run +# unconditionally every time FORCE: @true