diff --git a/configure.py b/configure.py index d7765ef6bd9487..b0a0a7e0345533 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 @@ -2074,7 +2073,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)