[bootlin/training-materials updates] master: labs/sysdev-thirdparty-*: strip libgpiod too (c39ead30)

[Michael Opdenacker]

Repository : https://github.com/bootlin/training-materials
On branch  : master
Link       : https://github.com/bootlin/training-materials/commit/c39ead300966845b25900820ab14fee295937301

>---------------------------------------------------------------

commit c39ead300966845b25900820ab14fee295937301
Author: Michael Opdenacker <michael.opdenacker at bootlin.com>
Date:   Fri Jan 20 19:31:15 2023 +0100

    labs/sysdev-thirdparty-*: strip libgpiod too
    
    Signed-off-by: Michael Opdenacker <michael.opdenacker at bootlin.com>


>---------------------------------------------------------------

c39ead300966845b25900820ab14fee295937301
 labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex     | 6 ++++--
 labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex | 6 ++++--
 2 files changed, 8 insertions(+), 4 deletions(-)

diff --git a/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex b/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
index 9a09889e..0bdd798d 100644
--- a/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
+++ b/labs/sysdev-thirdparty-bbb/sysdev-thirdparty-bbb.tex
@@ -656,13 +656,15 @@ classical \code{DESTDIR} mechanism:
 
 \bashcmd{$ make DESTDIR=$HOME/__SESSION_NAME__-labs/thirdparty/staging/ install}
 
-And finally, only install manually in the {\em target} space the files
-needed at runtime:
+And finally, only manually install and strip the files
+needed at runtime in the {\em target} space:
 
 \begin{bashinput}
 $ cd ..
 $ cp -a staging/usr/lib/libgpiod.so.2* target/usr/lib/
+$ arm-linux-strip target/usr/lib/libgpiod*
 $ cp -a staging/usr/bin/gpio* target/usr/bin/
+$ arm-linux-strip target/usr/bin/gpio*
 \end{bashinput}
 
 \subsection{Testing libgpiod}
diff --git a/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex b/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
index 17bef123..30317ee8 100644
--- a/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
+++ b/labs/sysdev-thirdparty-stm32/sysdev-thirdparty-stm32.tex
@@ -656,13 +656,15 @@ classical \code{DESTDIR} mechanism:
 
 \bashcmd{$ make DESTDIR=$HOME/__SESSION_NAME__-labs/thirdparty/staging/ install}
 
-And finally, only install manually in the {\em target} space the files
-needed at runtime:
+And finally, only manually install and strip the files
+needed at runtime in the {\em target} space:
 
 \begin{bashinput}
 $ cd ..
 $ cp -a staging/usr/lib/libgpiod.so.2* target/usr/lib/
+$ arm-linux-strip target/usr/lib/libgpiod*
 $ cp -a staging/usr/bin/gpio* target/usr/bin/
+$ arm-linux-strip target/usr/bin/gpio*
 \end{bashinput}
 
 \subsection{Testing libgpiod}