This will make it possible to replace it in a shebang line. Signed-off-by: Paolo Bonzini <[email protected]> --- configure | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/configure b/configure
index 203dece..0814a5f 100755
--- a/configure
+++ b/configure
@@ -918,7 +918,7 @@ for binary in "${PYTHON-python3}" python python2
do
if has "$binary"
then
- python="$binary"
+ python=$(type -p "$binary")
break
fi
done
--
1.8.3.1
