From 225a028cb68c0963f3ea150572dedd5510dc49a9 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Sergio=20S=C3=A1nchez=20Ram=C3=ADrez?=
 <sergio.sanchez.ramirez+git@bsc.es>
Date: Tue, 7 May 2024 18:28:05 +0200
Subject: [PATCH] Update `env.sh` to use `extrae.xml` configuration

---
 scripts/env.sh | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/scripts/env.sh b/scripts/env.sh
index ad62821..45634d0 100755
--- a/scripts/env.sh
+++ b/scripts/env.sh
@@ -1,6 +1,9 @@
 #!/bin/bash
 
+SRCDIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
+
 export EXTRAE_ON=1
 export EXTRAE_SKIP_AUTO_LIBRARY_INITIALIZE=1
+export EXTRAE_CONFIG_FILE=$SRCDIR/extrae.xml
 
 $*
\ No newline at end of file