diff --git a/bob/devtools/scripts/development.py b/bob/devtools/scripts/development.py index 1d854836a62f0aff17883d030a059a2e9283903f..9fe0618c97b97d45c6a7d00107d7f0bcb358bf5f 100644 --- a/bob/devtools/scripts/development.py +++ b/bob/devtools/scripts/development.py @@ -44,7 +44,7 @@ def checkout(ctx, names, use_https, subfolder): # create the subfolder directory if subfolder: - os.path.makedirs(subfolder, exist_ok=True) + os.makedirs(subfolder, exist_ok=True) for name in names: