-#!/bin/bash
+#!/usr/bin/env bash
-# Copyright (c) 2014. The SimGrid Team.
+# Copyright (c) 2014-2018. The SimGrid Team.
# All rights reserved.
# This program is free software; you can redistribute it and/or modify it
continue
fi
- if grep -q "Copyright.*SimGrid" $file ; then
+ if grep -q "Copyright.*SimGrid" $file ; then
if head -n 1 "$file" | grep -q '^#!'; then
script=1
else
cat "$tmp_head" "$tmp_copy" "$tmp_foot" > $file
else
echo "Pass: there is no SimGrid Copyright header."
- fi ; #
+ fi ; #
done
cat <<EOF