diff --git a/Projects/Athena/build_env.sh b/Projects/Athena/build_env.sh
index aa621c46963eac35eea5de13c9f054fa4470dea0..940effa7e9dc121e6210ad1e75fbdd24aa7f7d52 100644
--- a/Projects/Athena/build_env.sh
+++ b/Projects/Athena/build_env.sh
@@ -62,8 +62,10 @@ env_setup() {
 
     # Point to Gaudi:
     # Get platform from the GAUDI build - we're assuming here that there's only one platform installed.
-    platform=$(cd ${BUILDDIR}/install/GAUDI/${NICOS_PROJECT_VERSION}/InstallArea/;ls)
-    export GAUDI_ROOT=${BUILDDIR}/install/GAUDI/${NICOS_PROJECT_VERSION}/InstallArea/${platform}
+    if [ -z "${GAUDI_ROOT+1}" ]; then
+        platform=$(cd ${BUILDDIR}/install/GAUDI/${NICOS_PROJECT_VERSION}/InstallArea/;ls)
+        export GAUDI_ROOT=${BUILDDIR}/install/GAUDI/${NICOS_PROJECT_VERSION}/InstallArea/${platform}
+    fi
     echo "Taking Gaudi from: ${GAUDI_ROOT}"
 
     cd $startdir