path: root/doc/dev_manual.rst
diff options
authorJuergen Borleis <>2016-06-08 18:00:58 +0200
committerMichael Olbrich <>2016-06-20 15:04:51 +0200
commit4747cc6540ac653dc52c2f147735ce221e1c6976 (patch)
tree7341bbb832bcf4d67cc89107f464b35d288124f9 /doc/dev_manual.rst
parent51d8c4125c9d3292dddf9aa44aaaad0f945431ce (diff)
Use the BSPs compiler instead of a placeholder
Signed-off-by: Juergen Borleis <>
Diffstat (limited to 'doc/dev_manual.rst')
1 files 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... <ptxdistCompilerName>
+ 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 <ptxdistCompilerName>-strip... <ptxdistCompilerName>-strip
- checking for <ptxdistCompilerName>-gcc... <ptxdistCompilerName>-gcc
+ checking for <ptxdistCompilerName>-strip... |ptxdistCompilerName|-strip
+ checking for <ptxdistCompilerName>-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=<ptxdistCompilerName> --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