1 files changed, 1 insertions, 2 deletions
diff --git a/WORKSPACE b/WORKSPACE
index 8e226bdad0..a72072df1a 100644
--- a/WORKSPACE
+++ b/WORKSPACE
@@ -60,11 +60,10 @@ new_http_archive(
     build_file = "tools/build_defs/d/dmd.BUILD",
 )
 
-new_git_repository(
+git_repository(
     name = "jsonnet",
     remote = "https://github.com/google/jsonnet.git",
     tag = "v0.8.1",
-    build_file = "tools/build_defs/jsonnet/jsonnet.BUILD",
 )
 
 new_http_archive(