From 5e483442ccb477cc69ea331b1d2bf741785468e9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 26 Jan 2022 10:30:14 +0100
Subject: [PATCH] [doc] User manual: updates the default machdep.
---
doc/userman/user-sources.tex | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/doc/userman/user-sources.tex b/doc/userman/user-sources.tex
index a93678e60ec..f104502d342 100644
--- a/doc/userman/user-sources.tex
+++ b/doc/userman/user-sources.tex
@@ -281,7 +281,7 @@ a negative value, and choose the smallest rank possible starting from
that is, its opposite option \optiondef{-}{remove-unused-types} is set.
\item \texttt{\optiondef{-}{machdep} <machine architecture name>} defines the
- target platform. The default value is a \texttt{x86\_32} bits
+ target platform. The default value is a \texttt{x86\_64} bits
platform. Analyzers may take into account the \emph{endianness} of the
target, the size and alignment of elementary data types, and other
architecture/compilation parameters. The \texttt{-machdep} option provides a
--
GitLab