From: Paul Bédaride <paul.bedaride@gmail.com>
Date: Wed, 19 Feb 2014 10:18:21 +0000 (+0100)
Subject: Fix normalize-pointers script
X-Git-Tag: v3_11_beta~15
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/a854744c66871a4727b28d50b1c1dd949f027a35?ds=sidebyside

Fix normalize-pointers script
---

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index e70894e9d1..04049fa48f 100755
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -23,7 +23,7 @@ f = open(sys.argv[1])
 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 = {}