workbench | lib-cabal: only set WORKBENCH_PROFILED if it's not set al…

…ready
IntersectMBO · Jun 27, 2022 · cf1e1a1 · cf1e1a1
1 parent 48fee49
commit cf1e1a1
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/nix/workbench/lib-cabal.sh b/nix/workbench/lib-cabal.sh
@@ -1,6 +1,8 @@
 progress "workbench"  "cabal-inside-nix-shell mode enabled, calling cardano-* via '$(white cabal run)' (instead of using Nix store) $*"
 
-export WORKBENCH_PROFILED=
+if test ! -v WORKBENCH_PROFILED
+then export  WORKBENCH_PROFILED=
+fi
 
 while test $# -gt 0
 do case "$1" in