From: Jan Stancek on gitlab.com https://gitlab.com/cki-project/kernel-ark/-/merge_requests/3585#note_2284740002 Is it just me seeing increase in execution time? ```bash $ time make dist-help make -C redhat dist-help make[1]: Entering directory '/home/src/kernel/kernel-ark/redhat' cleaning targets: make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-clean Clean redhat/configs/ and redhat/rpm/ directories. make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' building targets: make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-srpm Create a source RPM and put it into the redhat/rpm/SRPMS/ directory. See the dist-brew target for available options. make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-all-rpms Create the binary RPMS and the SRPM for the kernel. See the dist-brew target for available options. make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-brew Create a kernel SRPM and then call brew to build the created SRPM. Add BUILDOPTS="+<opt> -<opt> [...]" to enable/disable build options. Available <opt>s and their default values: make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' distg-brew Pass HEAD of the current git branch to brew to build an RPM set. Do not forget to push to the remote repository first. Preceed make command by RHGITCOMMIT=<commitID> specify commit ID to use. To set the remote repo, invoke 'git config rhg.url git://<repo_path>'. make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-cross-all-rpms [x86_64 only] execute rpm builds for all supported archs using RHEL cross compiler make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' configuration targets: make[2]: Entering directory '/home/src/kernel/kernel-ark/redhat' dist-configs Create RHEL config files in redhat/config/. make[2]: Leaving directory '/home/src/kernel/kernel-ark/redhat' Longer help for commands can be displayed with make dist-help-HELPTYPE where HELPTYPE is one of: {cleaning build kabi configuration misc}. For full list of targets, run `make dist-full-help`. make[1]: Leaving directory '/home/src/kernel/kernel-ark/redhat' real 0m7.752s user 0m6.208s sys 0m1.462s ``` -- _______________________________________________ kernel mailing list -- kernel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to kernel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/kernel@xxxxxxxxxxxxxxxxxxxxxxx Do not reply to spam, report it: https://pagure.io/fedora-infrastructure/new_issue
