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

Private GIT Repository
Update platform.xml.
[loba.git] / colorized-loba
1 #!/bin/sh
2
3 loba=${LOBA:-./loba}
4 path=$(ldd "$loba" | sed '/libsimgrid/!d;s/.*=> \(.*\)\/lib\/libsimgrid.*/\1/')
5 : ${path:="./simgrid-stable"}
6 colorizer="$path/bin/simgrid-colorizer"
7
8 exec "$loba" "$@" -v 2>&1 | "$colorizer" - | less -R