]> AND Public Git Repository - simgrid.git/blobdiff - tools/fix-paje-trace.sh
Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
windows: also allow internal includes to the lib
[simgrid.git] / tools / fix-paje-trace.sh
index 259fae977f13babaff7b1e9269eaa66e9e817328..0d854900f58d795f35738bbc04f544fa8efdeac3 100755 (executable)
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 # Copyright (c) 2010-2017. The SimGrid Team. All rights reserved.