Use git diff instead of diff-index for setlocalversion.

[loba.git] / colorized-loba

#!/bin/sh

loba=${LOBA:-./loba}
path=$(ldd "$loba" | sed '/libsimgrid/!d;s/.*=> \(.*\)\/lib\/libsimgrid.*/\1/')
: ${path:="./simgrid-stable"}
colorizer="$path/bin/simgrid-colorizer"

exec "$loba" "$@" -v 2>&1 | "$colorizer" - | less -R