diff --git a/tools/menuconfig.py b/tools/menuconfig.py index 043c5df0d573bbc23537f04fb69a5e6db55a26e5..aaf4c9e888d28ecfb1bca4641214155db480bdba 100644 --- a/tools/menuconfig.py +++ b/tools/menuconfig.py @@ -249,8 +249,8 @@ def menuconfig(RTT_ROOT): touch_env() env_dir = get_env_dir() - - os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') + if isinstance(env_dir, str): + os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') fn = '.config' fn_old = '.config.old' @@ -282,8 +282,8 @@ def guiconfig(RTT_ROOT): touch_env() env_dir = get_env_dir() - - os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') + if isinstance(env_dir, str): + os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') fn = '.config' fn_old = '.config.old' @@ -316,8 +316,8 @@ def guiconfig_silent(RTT_ROOT): touch_env() env_dir = get_env_dir() - - os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') + if isinstance(env_dir, str): + os.environ['PKGS_ROOT'] = os.path.join(env_dir, 'packages') fn = '.config'