[sonar] Assert that pointer is not null.

[simgrid.git] / tools / internal / check_dist_archive

diff --git a/tools/internal/check_dist_archive b/tools/internal/check_dist_archive
index 89f1f92af0fe4db8162ac1dce589329a927d11a7..03530bde984f8a89615012157c13151a21be558a 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
 # All rights reserved.
 
 # This program is free software; you can redistribute it and/or modify it


@@ -103,7 +103,7 @@ EOF
     fi
 }
 
     fi
 }
 

-colordiff=$(type -p colordiff || true) 
+colordiff=$(type -p colordiff || true)

 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X
 colorless() {
     if [ -x "$colordiff" ]; then
         "$colordiff" | less -R -F -X