1
0
mirror of https://github.com/RIOT-OS/RIOT.git synced 2025-12-24 22:13:52 +01:00

Merge pull request #2115 from LudwigOrtmann/ci-scripts-licenses

Ci scripts licenses
This commit is contained in:
DangNhat Pham-Huu 2014-11-29 11:28:18 +07:00
commit 63cd774e91
3 changed files with 20 additions and 0 deletions

View File

@ -1,5 +1,12 @@
#!/bin/sh
# Copyright 2014 Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
# Copyright 2014 Hinnerk van Bruinehsen <h.v.bruinehsen@fu-berlin.de>
#
# 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.
# Don't show warnings about unusedStructMembers by default
DEFAULT_SUPPRESSIONS="${1}"
if echo "${DEFAULT_SUPPRESSIONS}" | grep -q '^--show-unused-struct'; then

View File

@ -1,5 +1,12 @@
#!/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
CHECKROOT=$(dirname "${0}")

View File

@ -1,5 +1,11 @@
#!/bin/sh
# Copyright 2014 Ludwig Ortmann <ludwig.ortmann@fu-berlin.de>
#
# 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
CHECKROOT=$(dirname "${0}")
LICENSEDIR="${CHECKROOT}/patterns"