Johan Dahlin 08cfcdc81a Use the same Python as we found in configure ... Don't assume /usr/bin/python is python 2.x, on newer Ubuntu versions it's actually python 3.x.		2012-06-29 11:59:33 -03:00
..
codegen	Use the same Python as we found in configure	2012-06-29 11:59:33 -03:00