X-Git-Url: https://git.jankratochvil.net/?p=nethome.git;a=blobdiff_plain;f=bin%2Fdiffgdbdir;h=636fb2c6f108ca225e07009257d245a1ce3875ce;hp=d29fa10245c8735ac72a7c92c9bb558fc5c2d70d;hb=1b84e0a01edfdadf01164a968d8a6efd88018691;hpb=7d51d1c10f33e2d6fd505763f32b44353e14042c diff --git a/bin/diffgdbdir b/bin/diffgdbdir index d29fa10..636fb2c 100755 --- a/bin/diffgdbdir +++ b/bin/diffgdbdir @@ -2,15 +2,25 @@ x="*.log" o="" -if [ "$1" = "-r" ];then - o="-r" - shift -fi -if [ "$1" = "log" ];then - x="*.sum" - o="-r" - shift -fi +while true;do + if [ "$1" = "-r" ];then + o="$o -r" + shift + continue + fi + if [ "$1" = "-N" ];then + o="$o -N" + shift + continue + fi + if [ "$1" = "log" ];then + x="*.sum" + o="-r" + shift + continue + fi + break +done if [ $# != 2 ];then echo >&2 "$0 hammock/xxxxyyzzname hammock/XXXXYYZZothername" @@ -18,10 +28,10 @@ if [ $# != 2 ];then fi diffed=false -function diffit +function diffitraw { - dir1=$1/out - dir2=$2/out + dir1=$1 + dir2=$2 if [ ! -e "$dir2" ];then echo "MISSING: $dir1 $dir2" return @@ -29,6 +39,10 @@ function diffit diffgdb $o -x "$x" $dir1 $dir2 diffed=true } +function diffit +{ + diffitraw $1/out $2/out +} if [ -f "$1" -a ! -e "${1%.tar.xz}" ];then ( @@ -68,6 +82,10 @@ if [ -d $1/out ];then diffit $1 $2 diffed=true fi +if [ "$1" != "${1#tests/}" -a -d $1 ];then + diffitraw $1 $2 + diffed=true +fi if ! $diffed;then echo "NOT FOUND: $1 $2" fi