From 8ef441b150c6e309cb73f7b68cf91031a3d3e28b Mon Sep 17 00:00:00 2001
From: Jeroen Bédorf <jeroen@minds.ai>
Date: Mon, 22 May 2017 01:47:16 -0700
Subject: Fix sanity license test

---
 third_party/mpi/BUILD | 1 +
 1 file changed, 1 insertion(+)

diff --git a/third_party/mpi/BUILD b/third_party/mpi/BUILD
index ed63d00010..ec09b045b7 100644
--- a/third_party/mpi/BUILD
+++ b/third_party/mpi/BUILD
@@ -1,3 +1,4 @@
+licenses(["restricted"])
 
 filegroup(
     name = "all_files",
-- 
cgit v1.2.3