diff options
author | Toni Uhlig <matzeton@googlemail.com> | 2021-10-30 08:19:59 +0200 |
---|---|---|
committer | Toni Uhlig <matzeton@googlemail.com> | 2021-10-30 09:05:41 +0200 |
commit | d2da14d0ff0cb22d6d275938ee26855d6ce44987 (patch) | |
tree | 418ccc7f1786b9f250985f55bfbf3a942911f77a /Makefile.native.inc | |
parent | 67f055022462ddfa416b8ff68874326138ca4978 (diff) |
Fix CircleCI build.
* README update
* make help
Signed-off-by: Toni Uhlig <matzeton@googlemail.com>
Diffstat (limited to 'Makefile.native.inc')
-rw-r--r-- | Makefile.native.inc | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/Makefile.native.inc b/Makefile.native.inc index c10e34e..95ed10a 100644 --- a/Makefile.native.inc +++ b/Makefile.native.inc @@ -123,6 +123,10 @@ define INSTALL_EXEC_SIGN $(error BUILD_NATIVE does not support code signing.) endef -define CHECK_DPP - $(MAKE) -C $(DPP_ROOT) -f Makefile.deps all +define HELP_MAKE_OPTIONS + @echo 'Common make options for Makefile.native.inc:' + @echo -e '\tBUILD_NATIVE = yes' + @echo -e '\tCC = $(CC)' + @echo -e '\tCXX = $(CXX)' + @echo -e '\tDPP_ROOT = $(DPP_ROOT)' endef |