[#!] #!/bin/sh -> #!/usr/bin/env sh

[simgrid.git] / src / smpi / smpitools.sh

diff --git a/src/smpi/smpitools.sh b/src/smpi/smpitools.sh
index 40fcd3a..b414eec 100644 (file)
--- a/src/smpi/smpitools.sh
+++ b/src/smpi/smpitools.sh
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/usr/bin/env sh
 
 # Copyright (c) 2013-2017. The SimGrid Team.
 # All rights reserved.