diff options
Diffstat (limited to 'scripts/source-timestamps.sh')
| -rwxr-xr-x | scripts/source-timestamps.sh | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/scripts/source-timestamps.sh b/scripts/source-timestamps.sh index 74ff9f0..5bce4de 100755 --- a/scripts/source-timestamps.sh +++ b/scripts/source-timestamps.sh @@ -1,5 +1,21 @@ #!/bin/sh +# +# Copyright (C) 2023 University of Luxembourg +# +# Licensed under the Apache License, Version 2.0 (the "License"); you may not +# use this file except in compliance with the License. You may obtain a copy +# of the License from the LICENSE file in this repository, or at: +# +# http://www.apache.org/licenses/LICENSE-2.0 +# +# Unless required by applicable law or agreed to in writing, software +# distributed under the License is distributed on an "AS IS" BASIS, WITHOUT +# WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. See the +# License for the specific language governing permissions and limitations +# under the License. +# + # change this with environment DEFAULT_NOT_SOURCE_REGEX="/\\/assets\\//" NOT_SOURCE_REGEX="${NOT_SOURCE_REGEX:-$DEFAULT_NOT_SOURCE_REGEX}" |