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

[simgrid.git] / tools / internal / indent

diff --git a/tools/internal/indent b/tools/internal/indent
index 56c3906..3587410 100755 (executable)
--- a/tools/internal/indent
+++ b/tools/internal/indent
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2011, 2014. The SimGrid Team.
 # All rights reserved.