Update copyright headers.

[simgrid.git] / tools / internal / update_copyright_header

diff --git a/tools/internal/update_copyright_header b/tools/internal/update_copyright_header
index 238f200..99da7f5 100755 (executable)
--- a/tools/internal/update_copyright_header
+++ b/tools/internal/update_copyright_header
@@ -1,6 +1,6 @@
-#!/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
@@ -89,7 +89,7 @@ for file; do
         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
@@ -128,7 +128,7 @@ for file; do
         cat "$tmp_head" "$tmp_copy" "$tmp_foot" > $file
     else
         echo "Pass: there is no SimGrid Copyright header."
-    fi ; # 
+    fi ; #
 done
 
 cat <<EOF