Index: client/deps/glbench/glbench.py |
diff --git a/client/deps/glbench/glbench.py b/client/deps/glbench/glbench.py |
index 21f646c22f42ad759dc00b7cf3570907cf3b9aab..d7f3561d604c2f4d8c4737948736b9db9dc05c08 100755 |
--- a/client/deps/glbench/glbench.py |
+++ b/client/deps/glbench/glbench.py |
@@ -12,7 +12,7 @@ version = 1 |
def setup(topdir): |
srcdir = os.path.join(topdir, 'src') |
os.chdir(srcdir) |
- utils.system('make') |
+ utils.make() |
os.chdir(topdir) |
pwd = os.getcwd() |