dist/tools/externc: add license
This commit is contained in:
parent
4ebeee7582
commit
8abaf95ed1
7
dist/tools/externc/check.sh
vendored
7
dist/tools/externc/check.sh
vendored
@ -1,5 +1,12 @@
|
|||||||
#!/bin/sh
|
#!/bin/sh
|
||||||
|
|
||||||
|
# Copyright 2014 Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
|
||||||
|
# Copyright 2014 DangNhat Pham-Huu <51002279@hcmut.edu.vn>
|
||||||
|
#
|
||||||
|
# This file is subject to the terms and conditions of the GNU Lesser
|
||||||
|
# General Public License v2.1. See the file LICENSE in the top level
|
||||||
|
# directory for more details.
|
||||||
|
|
||||||
# customizable
|
# customizable
|
||||||
CHECKROOT=$(dirname "${0}")
|
CHECKROOT=$(dirname "${0}")
|
||||||
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user