diff --git a/tools/building.py b/tools/building.py
index b6129476157b62692baa8a799492232a9df82a7f..782c99b031d335be09591f7008695cb8fcaf615f 100644
--- a/tools/building.py
+++ b/tools/building.py
@@ -48,6 +48,8 @@ def PrepareBuilding(env, root_directory, has_libcpu=False, remove_components = [
         win32_spawn = Win32Spawn()
         win32_spawn.env = env
         env['SPAWN'] = win32_spawn.spawn
+    
+    if env['PLATFORM'] == 'win32':
         os.environ['PATH'] = rtconfig.EXEC_PATH + ";" + os.environ['PATH']
     else:
         os.environ['PATH'] = rtconfig.EXEC_PATH + ":" + os.environ['PATH']