From 2cad6930692587f3358b1a39926cf615dcbf4eea Mon Sep 17 00:00:00 2001 From: Michele Cereda Date: Mon, 27 Nov 2023 18:23:45 +0100 Subject: [PATCH] chore: added placeholder for the make article --- knowledge base/make.placeholder | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 knowledge base/make.placeholder diff --git a/knowledge base/make.placeholder b/knowledge base/make.placeholder new file mode 100644 index 0000000..1e094eb --- /dev/null +++ b/knowledge base/make.placeholder @@ -0,0 +1,15 @@ +```makefile +# make override_me=new_value target +override override_me ?= default_value + +target_name: target_specific_variable = value +target_name: previous_target required_file.ext + echoed_command + @quiet_command + ${MAKE} next_target + +previous_target: + @quiet_command + +next_target: +```