undo changelog modification

[simgrid.git] / tools / internal / update_copyright_header

diff --git a/tools/internal/update_copyright_header b/tools/internal/update_copyright_header
index 61fdd6de76404173716bf0de063d93b7a13a0706..7f0f37893585091c932cd970f9f54da54590c598 100755 (executable)
--- a/tools/internal/update_copyright_header
+++ b/tools/internal/update_copyright_header
@@ -1,6 +1,6 @@
 #!/usr/bin/env bash
 
-# Copyright (c) 2014-2019. The SimGrid Team.
+# Copyright (c) 2014-2023. The SimGrid Team.
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
@@ -35,7 +35,7 @@ get_dates() {
               s/[, ]\+/\n/g
               p
             }' "$file" \
-    | while read date; do
+    | while read -r date; do
         case "$date" in
             "")
                 ;;
@@ -54,9 +54,9 @@ format_dates() {
     local first
     local last
     local next
-    read first
+    read -r first
     last=$first
-    while read next; do
+    while read -r next; do
         if [ $next -eq $((last + 1)) ]; then
             last=$next
         else