diff --git a/_tools/workspace/run.py b/_tools/workspace/run.py
index 82c3ac587e..f25afba483 100644
--- a/_tools/workspace/run.py
+++ b/_tools/workspace/run.py
@@ -1,5 +1,6 @@
 import os
 import sys
+import shlex
 import shutil
 import urllib.request
 import subprocess