From f1e6642996b32d3020a314c0ff4b40d79b3a4228 Mon Sep 17 00:00:00 2001 From: Gregory Maxwell Date: Thu, 18 Jul 2024 09:01:18 +0000 Subject: [PATCH] Add time to fedora package list I found on Fedora 40 (qubes) that the only time executable was the shell builtin, which caused a rather cryptic error for cheribuild, complaining "MAKEOBJDIRPREFIX" is not set, cannot continue! " Installing the package fixed it and the build worked without a hitch. --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 88439799a..9214c908a 100644 --- a/README.md +++ b/README.md @@ -40,7 +40,7 @@ If you are building CHERI on a RHEL/Fedora-based machine, the following command the most commonly used cheribuild targets: ```shell -dnf install libtool clang-devel bison cmake mercurial ninja-build samba flex texinfo glib2-devel pixman-devel libarchive-devel bsdtar bzip2-devel libattr-devel libcap-ng-devel expat-devel +dnf install libtool clang-devel bison cmake mercurial ninja-build samba flex texinfo glib2-devel pixman-devel libarchive-devel bsdtar bzip2-devel libattr-devel libcap-ng-devel expat-devel time ``` #### FreeBSD