X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5b3677b425b9cc6949c1573d59ac772540cbf4b2..201615197616f659cc2ed820ed1bf411a4ed40ba:/tools/normalize-pointers.py

diff --git a/tools/normalize-pointers.py b/tools/normalize-pointers.py
index e70894e9d1..ba78a8078c 100755
--- a/tools/normalize-pointers.py
+++ b/tools/normalize-pointers.py
@@ -1,4 +1,4 @@
-#!/usr/bin/python
+#!/usr/bin/env python
 
 # Copyright (c) 2013-2014. The SimGrid Team.
 # All rights reserved.
@@ -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 = {}