From 5c47ae18bc03858ed936822790a968985cb85faf Mon Sep 17 00:00:00 2001
From: Amir MOHAMMADI <amir.mohammadi@idiap.ch>
Date: Tue, 26 Apr 2022 17:45:48 +0200
Subject: [PATCH] Fix makedirs usage
---
bob/devtools/scripts/development.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/bob/devtools/scripts/development.py b/bob/devtools/scripts/development.py
index 1d854836..9fe0618c 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:
--
GitLab