Add VARIANTS to ag_parameters. Create ag_parameters1024 for big platforms.

[loba.git] / colorized-loba

diff --git a/colorized-loba b/colorized-loba
index 1f20b0739ebb0a6deef56648b9761e7f0a22ff93..325a2d8212add586ad64761c0c8f518224642bbb 100755 (executable)
--- a/colorized-loba
+++ b/colorized-loba
@@ -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"