]> AND Private Git Repository - loba.git/blobdiff - colorized-loba
Logo AND Algorithmique Numérique Distribuée

Private GIT Repository
Rename valgrind_suppressions.
[loba.git] / colorized-loba
index 1f20b0739ebb0a6deef56648b9761e7f0a22ff93..325a2d8212add586ad64761c0c8f518224642bbb 100755 (executable)
@@ -1,6 +1,6 @@
 #!/bin/sh
 
 #!/bin/sh
 
-loba=./loba
+loba=${LOBA:-./loba}
 path=$(ldd "$loba" | sed '/libsimgrid/!d;s/.*=> \(.*\)\/lib\/libsimgrid.*/\1/')
 : ${path:="./simgrid-stable"}
 colorizer="$path/bin/simgrid-colorizer"
 path=$(ldd "$loba" | sed '/libsimgrid/!d;s/.*=> \(.*\)\/lib\/libsimgrid.*/\1/')
 : ${path:="./simgrid-stable"}
 colorizer="$path/bin/simgrid-colorizer"