tools/ci-*.sh: Show used command line for CI build scripts

This makes it much easier to determine the command line used for the
purpose of reproducing the build.

diff --git a/tools/ci-build.sh b/tools/ci-build.sh
index f77f11c2022c1cf7f86d3b757a36a22853a0910d..856a65a8af6c7b3627a1ef4c687e5a3913824a75 100755 (executable)
--- a/tools/ci-build.sh
+++ b/tools/ci-build.sh
@@ -130,6 +130,8 @@ init_wine() {
 # One of static, shared; used for windows cross builds
 : "${ci_runtime:=static}"
 
+echo "ci_buildsys=$ci_buildsys ci_distro=$ci_distro ci_docker=$ci_docker ci_host=$ci_host ci_local_packages=$ci_local_packages ci_parallel=$ci_parallel ci_suite=$ci_suite ci_test=$ci_test ci_test_fatal=$ci_test_fatal ci_variant=$ci_variant ci_runtime=$ci_runtime $0"
+
 if [ -n "$ci_docker" ]; then
     exec docker run \
         --env=ci_buildsys="${ci_buildsys}" \

diff --git a/tools/ci-install.sh b/tools/ci-install.sh
index d6c8246f79a79b80db6ae3cc4450507a2d269167..5b3b1b2fff6ce57a3f4d978a3a4254f80b3e0e50 100755 (executable)
--- a/tools/ci-install.sh
+++ b/tools/ci-install.sh
@@ -62,6 +62,8 @@ NULL=
 # One of debug, reduced, legacy, production
 : "${ci_variant:=production}"
 
+echo "ci_distro=$ci_distro ci_docker=$ci_docker ci_in_docker=$ci_in_docker ci_host=$ci_host ci_local_packages=$ci_local_packages ci_suite=$ci_suite ci_variant=$ci_variant $0"
+
 if [ $(id -u) = 0 ]; then
     sudo=
 else