diff options
Diffstat (limited to 'make/configure.py')
| -rw-r--r-- | make/configure.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/make/configure.py b/make/configure.py index c984ccc3b..3a462a322 100644 --- a/make/configure.py +++ b/make/configure.py @@ -1091,7 +1091,7 @@ try: for arg in sys.argv[1:]: if arg == '--launch': continue - args.append( "'%s'" % (arg.replace("'", '%c%c%c%c%c' % (0x27,0x22,0x27,0x22,0x27))) ) + args.append( arg ) doc.add( 'CONF.args', ' '.join( args )) doc.addBlank() |