Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix normalize-pointers script
authorPaul Bédaride <paul.bedaride@gmail.com>
Wed, 19 Feb 2014 10:18:21 +0000 (11:18 +0100)
committerPaul Bédaride <paul.bedaride@gmail.com>
Wed, 19 Feb 2014 10:18:21 +0000 (11:18 +0100)
tools/normalize-pointers.py

index e70894e..04049fa 100755 (executable)
@@ -23,7 +23,7 @@ f = open(sys.argv[1])
 t = f.read()
 f.close()
 
 t = f.read()
 f.close()
 
-r = re.compile(r"0x[0-9a-f]{7}")
+r = re.compile(r"0x[0-9a-f]+")
 s = r.search(t)
 offset = 0
 pointers = {}
 s = r.search(t)
 offset = 0
 pointers = {}