From 819c2abba067655f191416a705bb1fd822bcc6e3 Mon Sep 17 00:00:00 2001 From: Ralph Lange Date: Thu, 9 Mar 2023 11:37:26 +0000 Subject: [PATCH] Readme: add paragraph on EXTRA args for make --- README.md | 13 +++++++++++++ 1 file changed, 13 insertions(+) diff --git a/README.md b/README.md index 99aa236..8c60d0c 100644 --- a/README.md +++ b/README.md @@ -189,6 +189,19 @@ Collect the results of your tests and print a summary. `exec`\ Execute the remainder of the line using the default command shell. +## Extra arguments to `make` + +You can add additional arguments to the make runs that the `cue.py` script +starts. Put your additional arguments into environment variables named +`EXTRA`, `EXTRA1`, ... `EXTRA5`. + +The variables may contain multiple arguments, separated by whitespace. +Use regular shell script quoting (single/double quotes, backslash escapes) +if you need spaces inside an extra argument. + +The YAML syntax needed to set environment variables depends on the CI +service and platform. (See the full example configuration file.) + ## Setup Files Your module might depend on EPICS Base and a few other support modules.