Merge pull request #3511 from earboxer/setup-py-use-sh

Setup.py: Use sh instead of bash
rism-digital · Sep 11, 2023 · ff934e3 · ff934e3
2 parents 5ed202a + e084af3
commit ff934e3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/setup.py b/setup.py
@@ -33,7 +33,7 @@ def get_commit():
     """Call tools/get_git_commit.sh on any platform."""
     if os.path.exists('./tools'):
         print('running tools/get_git_commit.sh')
-        os.system('bash -c "cd tools; ./get_git_commit.sh"')
+        os.system('sh -c "cd tools; ./get_git_commit.sh"')
     else:
         print('tools directory is missing')