From 7f4b8d4c90521bb37b5f9a5da1b7c4f9d37cee70 Mon Sep 17 00:00:00 2001
From: Robin Sonnabend <robin@fsmpi.rwth-aachen.de>
Date: Mon, 26 Nov 2018 22:40:48 +0100
Subject: [PATCH] fix chdir command
---
scripts/build.py | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/scripts/build.py b/scripts/build.py
index 5d67549..cbb92a8 100755
--- a/scripts/build.py
+++ b/scripts/build.py
@@ -23,7 +23,7 @@ def main():
repo_dir = os.getcwd()
for package in load_config():
build_package(repo_dir=repo_dir, **package)
- os.cwd(repo_dir)
+ os.chdir(repo_dir)
if __name__ == "__main__":
--
GitLab