From d18ff4ef7c7a8b21f9b6fff867ae36ca9da9f27b Mon Sep 17 00:00:00 2001
From: Julianiolo <50519317+Julianiolo@users.noreply.github.com>
Date: Tue, 26 Jul 2022 19:22:28 +0200
Subject: [PATCH] fix to #1079

---
 emsdk.py | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/emsdk.py b/emsdk.py
index 83a0889d1c..ec4d798e66 100644
--- a/emsdk.py
+++ b/emsdk.py
@@ -123,7 +123,7 @@ def exit_with_error(msg):
   else:
     BASH = True
 
-if WINDOWS:
+if WINDOWS and not BASH:
   ENVPATH_SEPARATOR = ';'
 else:
   ENVPATH_SEPARATOR = ':'