commit 674099edec8cb67f1b626fdb26fc72aad0dc71d2
author Ian Zerny <zerny@google.com> Tue Jun 15 13:44:37 2021 +0200
committer Ian Zerny <zerny@google.com> Tue Jun 15 13:44:37 2021 +0200
tree ba9592ead6d212a45e7bf0071d8187bf1f3d44a4
parent 0e53ff1fcf5d2e02d8a96005edc3ed8182b1eb68

Fix incorrect argument in compiledump.py

Change-Id: Ic597678d2e5ba0c8c8930459da99410f7ae797b4

tools/compiledump.py

diff --git a/tools/compiledump.py b/tools/compiledump.py
index d9dd837..192145b 100755
--- a/tools/compiledump.py
+++ b/tools/compiledump.py
@@ -177,7 +177,7 @@
 def read_dump_from_args(args, temp):
   if args.dump is None:
     error("A dump file or directory must be specified")
-  return read_dump(dump, temp, args.override)
+  return read_dump(args.dump, temp, args.override)
 
 def read_dump(dump, temp, override=False):
   if os.path.isdir(dump):