differenciated signal on_route_creation depending if its for a route inside a zone...

[simgrid.git] / tools / internal / update_copyright_header

diff --git a/tools/internal/update_copyright_header b/tools/internal/update_copyright_header
index 6cccb337cc9a9965f82f9abe7c10b7171b5214bf..eb1e9fe6bdfb8d13174eae78859f9823d8607644 100755 (executable)
--- a/tools/internal/update_copyright_header
+++ b/tools/internal/update_copyright_header
@@ -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