please sonar

[simgrid.git] / tools / internal / check_dist_archive

diff --git a/tools/internal/check_dist_archive b/tools/internal/check_dist_archive
index 9d9b88b..03530bd 100755 (executable)
--- a/tools/internal/check_dist_archive
+++ b/tools/internal/check_dist_archive
@@ -1,6 +1,6 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
-# Copyright (c) 2013-2014. The SimGrid Team.
+# Copyright (c) 2013-2019. The SimGrid Team.
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it
@@ -97,13 +97,13 @@ ERROR: Some files are missing and/or unexpected in the archive.
 * lines beginning with '-' give files that are unexpected in the archive
 * lines beginning with '+' give files that are missing from the archive
 Please fix CMake files (e.g. "tools/cmake/DefinePackages.cmake"),
-and/or "tools/check_dist_archive.exclude".
+and/or "tools/internal/check_dist_archive.exclude".
 EOF
         diff -u "$fa" "$fb"
     fi
 }
 
-colordiff=$(type -p colordiff || true) 
+colordiff=$(type -p colordiff || true)
 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X