diff options
Diffstat (limited to 'get_definitions.sh')
-rw-r--r-- | get_definitions.sh | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/get_definitions.sh b/get_definitions.sh index 1733b42..a9c6ae9 100644 --- a/get_definitions.sh +++ b/get_definitions.sh @@ -1,4 +1,18 @@ #!/bin/sh +# Copyright (C) 2015 Codethink Limited +# +# This program is free software; you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation; version 2 of the License. +# +# This program is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License along +# with this program. If not, see <http://www.gnu.org/licenses/>. + set -ex SHA="$1" if [ -d definitions ]; then |