changeset 33441 | ce975712c050 |
parent 33031 | e208908e7d48 |
child 35744 | 4f5e0998b6e9 |
--- a/common/autoconf/compare.sh.in Wed Nov 04 12:45:55 2015 +0100 +++ b/common/autoconf/compare.sh.in Thu Nov 05 10:58:53 2015 +0100 @@ -86,4 +86,6 @@ $RM $OUTPUT_ROOT/compare.log.old 2> /dev/null $MV $OUTPUT_ROOT/compare.log $OUTPUT_ROOT/compare.log.old 2> /dev/null +export SCRIPT_DIR="$( cd "$( dirname "$0" )" > /dev/null && pwd )" + $BASH $SRC_ROOT/common/bin/logger.sh $OUTPUT_ROOT/compare.log $BASH "$REAL_COMPARE_SCRIPT" "$@"