diff --git a/configure.py b/configure.py index 40e0395ebd2c3c..8f0aac6a1c7087 100755 --- a/configure.py +++ b/configure.py @@ -5,7 +5,6 @@ import errno import argparse import os -import pipes import pprint import re import shlex @@ -2127,7 +2126,7 @@ def make_bin_override(): pprint.pformat(output, indent=2, width=1024) + '\n') write('config.status', '#!/bin/sh\nset -x\nexec ./configure ' + - ' '.join([pipes.quote(arg) for arg in original_argv]) + '\n') + ' '.join([shlex.quote(arg) for arg in original_argv]) + '\n') os.chmod('config.status', 0o775)