From d64a3751ca805c08bfda6a330d73a09e87e993c0 Mon Sep 17 00:00:00 2001 From: Laurent Bercot Date: Tue, 27 Jun 2023 08:37:17 +0000 Subject: Doc fix Signed-off-by: Laurent Bercot --- doc/flags.html | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) (limited to 'doc/flags.html') diff --git a/doc/flags.html b/doc/flags.html index e7bac4c..76ae476 100644 --- a/doc/flags.html +++ b/doc/flags.html @@ -174,14 +174,14 @@ often anyway). The default is /usr/bin:/bin, which is usually safe.

-

--enable-sysdep-devurandom=yes

+

--with-sysdep-devurandom=yes

When compiling natively, skalibs probes the build system for sysdeps, i.e. system-specific behaviours that influence the way skalibs must implement certain interfaces. This autodetection can be overriden on the configure command line: for a sysdep named K, if you want to -enforce the value V, you can use --enable-sysdep-K=V +enforce the value V, you can use --with-sysdep-K=V as a configure option.

@@ -195,7 +195,7 @@ variable mechanism in autotools.) that cannot be autodetected and have to be provided manually on the command line. The devurandom sysdep, which encodes the existence of a functional /dev/urandom device on the target, is one of those. ---enable-sysdep-devurandom=yes tells skalibs to assume that there is +--with-sysdep-devurandom=yes tells skalibs to assume that there is such a device it can rely on for random number generation.

-- cgit v1.2.3