fix gcc path

diff --git a/env_developer b/env_developer
index 24f92fe..b2dcb01 100644 (file)
--- a/env_developer
+++ b/env_developer
@@ -8,10 +8,17 @@ fi
 export ROLE=developer
 source tool_shared/bespoke/env
 
+PYTHON_HOME = tool_shared/third_party/python
 if [[ ":$PATH:" != *":$PYTHON_HOME/bin:"* ]]; then
   export PATH="$PYTHON_HOME/bin:$PATH"
 fi
 
+GCC_HOME = tool_shared/third_party/RT_gcc/release
+if [[ ":$PATH:" != *":$GCC_HOME:"* ]]; then
+  export PATH="$GCC_HOME/bin:$PATH"
+fi
+alias gcc amd64_Deb-12.10_gcc-12.4.1
+
 cd $ROLE
 export ENV=$ROLE
 echo "in environmennt: $ENV"

diff --git a/tool_shared/bespoke/env b/tool_shared/bespoke/env
index eb93ff3..0d47fca 100644 (file)
--- a/tool_shared/bespoke/env
+++ b/tool_shared/bespoke/env
@@ -8,6 +8,9 @@ fi
 # without this bash takes non-matching globs literally
 shopt -s nullglob
 
+# does not presume sharing or world permissions
+umask 0077
+
 # --------------------------------------------------------------------------------
 # project definition