From 1c51e69c3e4b285a7031d2dd66ee975ef6cc36d4 Mon Sep 17 00:00:00 2001
From: gconesab <26649152+gconesab@users.noreply.github.com>
Date: Wed, 10 Jun 2020 09:07:16 +0200
Subject: [PATCH] export CONFIG_PHOS_TIMERES after default value is set (#374)

---
 MC/dpgsim.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/MC/dpgsim.sh b/MC/dpgsim.sh
index 5d88d6d8..d03af916 100755
--- a/MC/dpgsim.sh
+++ b/MC/dpgsim.sh
@@ -196,6 +196,7 @@ CONFIG_TRIGGER=""
 OVERRIDE_TRIGGER=""
 CONFIG_DETECTOR=""
 CONFIG_PHOS_TIMERES="off" 
+export CONFIG_PHOS_TIMERES
 CONFIG_DETECTORMASK="0x0"
 CONFIG_PHYSICSLIST=""
 CONFIG_PDG=""