diff options
author | Juraj Linkeš <juraj.linkes@pantheon.tech> | 2021-03-30 08:40:19 +0200 |
---|---|---|
committer | Thomas Monjalon <thomas@monjalon.net> | 2021-04-09 19:11:26 +0200 |
commit | 5b3a6ca6fd284f213e4d5a0d2e93b8eab858729a (patch) | |
tree | 62938ce22d3c1cddf35f4f3823399b5757d6ab58 /.ci | |
parent | 720dfda4551e8185ad34f333e58157a8eb4d02ab (diff) |
build: alias default build as generic
The current machine='default' build name is not descriptive. The actual
default build is machine='native'. Add an alternative string which does
the same build and better describes what we're building:
machine='generic'. Leave machine='default' for backwards compatibility.
Signed-off-by: Juraj Linkeš <juraj.linkes@pantheon.tech>
Reviewed-by: Honnappa Nagarahalli <honnappa.nagarahalli@arm.com>
Acked-by: Bruce Richardson <bruce.richardson@intel.com>
Diffstat (limited to '.ci')
-rwxr-xr-x | .ci/linux-build.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/.ci/linux-build.sh b/.ci/linux-build.sh index 91e43a975b..3cbeb193a1 100755 --- a/.ci/linux-build.sh +++ b/.ci/linux-build.sh @@ -77,7 +77,7 @@ else OPTS="$OPTS -Dexamples=all" fi -OPTS="$OPTS -Dmachine=default" +OPTS="$OPTS -Dmachine=generic" OPTS="$OPTS --default-library=$DEF_LIB" OPTS="$OPTS --buildtype=debugoptimized" OPTS="$OPTS -Dcheck_includes=true" |