From b23e5dcf7b28f64d2fec1d7403e38011c4c2bdb6 Mon Sep 17 00:00:00 2001
From: Didier Vojtisek <didier.vojtisek@inria.fr>
Date: Wed, 31 Jul 2024 17:14:44 +0200
Subject: [PATCH] remove debug info

---
 dev_support/gemoc_builder/docker/scripts/entrypoint        | 1 +
 dev_support/gemoc_builder/docker/scripts/pomfirst_build.sh | 3 +++
 2 files changed, 4 insertions(+)

diff --git a/dev_support/gemoc_builder/docker/scripts/entrypoint b/dev_support/gemoc_builder/docker/scripts/entrypoint
index 09feabbe..a323dcd5 100644
--- a/dev_support/gemoc_builder/docker/scripts/entrypoint
+++ b/dev_support/gemoc_builder/docker/scripts/entrypoint
@@ -17,6 +17,7 @@ fi
 
 if [ "$UID" != 0 ]
 then
+		echo "entrypoint: using gosu to run command as $DOCKER_USER"
         usermod -u "$UID" "$DOCKER_USER" 2>/dev/null && {
                 groupmod -g "$GID" "$DOCKER_USER" 2>/dev/null ||
                 usermod -a -G "$GID" "$DOCKER_USER"
diff --git a/dev_support/gemoc_builder/docker/scripts/pomfirst_build.sh b/dev_support/gemoc_builder/docker/scripts/pomfirst_build.sh
index 5d7fb037..ffedb10a 100644
--- a/dev_support/gemoc_builder/docker/scripts/pomfirst_build.sh
+++ b/dev_support/gemoc_builder/docker/scripts/pomfirst_build.sh
@@ -2,6 +2,9 @@
 
 echo arguments seen: $1
 
+id -a
+echo HOME=$HOME
+
 cd $HOME/src/gemoc-studio/dev_support/pomfirst_full_compilation/
 
 pwd