diff options
-rwxr-xr-x | scripts/mkdiff_obj | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/scripts/mkdiff_obj b/scripts/mkdiff_obj index f783491af..307474874 100755 --- a/scripts/mkdiff_obj +++ b/scripts/mkdiff_obj | |||
@@ -39,8 +39,8 @@ while IFS='' read -r oname; do | |||
39 | continue | 39 | continue |
40 | fi | 40 | fi |
41 | diff -q -- "$1/$oname" "$2/$oname" >/dev/null && continue | 41 | diff -q -- "$1/$oname" "$2/$oname" >/dev/null && continue |
42 | (cd "$1"; objdump -dr "$oname" | filter >"$oname.disasm") | 42 | (cd "$1" && { size "$oname"; objdump -dr "$oname" | filter; } >"$oname.disasm") |
43 | (cd "$2"; objdump -dr "$oname" | filter >"$oname.disasm") | 43 | (cd "$2" && { size "$oname"; objdump -dr "$oname" | filter; } >"$oname.disasm") |
44 | diff -u -- "$1/$oname.disasm" "$2/$oname.disasm" | 44 | diff -u -- "$1/$oname.disasm" "$2/$oname.disasm" |
45 | done | 45 | done |
46 | ) | 46 | ) |