diff options
Diffstat (limited to 'tools/build_defs/jsonnet/jsonnet.WORKSPACE')
-rw-r--r-- | tools/build_defs/jsonnet/jsonnet.WORKSPACE | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/tools/build_defs/jsonnet/jsonnet.WORKSPACE b/tools/build_defs/jsonnet/jsonnet.WORKSPACE index 963eeb4680..bce62ccff2 100644 --- a/tools/build_defs/jsonnet/jsonnet.WORKSPACE +++ b/tools/build_defs/jsonnet/jsonnet.WORKSPACE @@ -1,6 +1,5 @@ -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", ) |