TBR: mojo.shared: devtools: Fix up remaining open-sourcing issues.
Also, add c header and source support to jiri-copyright.
MultiPart: 3/5
Change-Id: I530160264074c574f434e779b72c168c906f3a47
diff --git a/mojo.mk b/mojo.mk
index 703bbfb..cbd7a69 100644
--- a/mojo.mk
+++ b/mojo.mk
@@ -1,3 +1,7 @@
+# Copyright 2015 The Vanadium Authors. All rights reserved.
+# Use of this source code is governed by a BSD-style
+# license that can be found in the LICENSE file.
+
SHELL := /bin/bash -euo pipefail
V23_GOPATH := $(shell echo `v23 run env | grep GOPATH | cut -d\= -f2`)
ifdef ANDROID
@@ -84,5 +88,3 @@
$(error ERROR: $(ANDROID_NDK) does not exist. Please install android profile with "v23 profile install android")
endif
endif
-
-
