From 4747cc6540ac653dc52c2f147735ce221e1c6976 Mon Sep 17 00:00:00 2001 From: Juergen Borleis Date: Wed, 8 Jun 2016 18:00:58 +0200 Subject: Use the BSPs compiler instead of a placeholder Signed-off-by: Juergen Borleis --- doc/dev_manual.rst | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/dev_manual.rst b/doc/dev_manual.rst index f6d0458a3..c3e9a8ded 100644 --- a/doc/dev_manual.rst +++ b/doc/dev_manual.rst @@ -432,15 +432,15 @@ file and we can simply run: [...] checking build system type... i686-host-linux-gnu - checking host system type... + checking host system type... |ptxdistCompilerName| checking whether to enable maintainer-specific portions of Makefiles... no checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes - checking for -strip... -strip - checking for -gcc... -gcc + checking for -strip... |ptxdistCompilerName|-strip + checking for -gcc... |ptxdistCompilerName|-gcc checking for C compiler default output file name... a.out [...] @@ -738,7 +738,7 @@ To do a fast check if this addition was successful, we run: :: $ ptxdist print FOO_AUTOCONF - --prefix=/usr --sysconfdir=/etc --host= --build=i686-host-linux-gnu --enable-debug --with-bar + --prefix=/usr --sysconfdir=/etc --host=|ptxdistCompilerName| --build=i686-host-linux-gnu --enable-debug --with-bar .. note:: It depends on the currently selected platform and its architecture what content this variable will have. The content shown above is an -- cgit v1.2.3