Skip to content

Commit

Permalink
Fix mixed up use of escaped back-slash.
Browse files Browse the repository at this point in the history
  • Loading branch information
grafikrobot committed Nov 30, 2023
1 parent 46be607 commit 8c329fc
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions test/BoostBuild.py
Original file line number Diff line number Diff line change
Expand Up @@ -1232,10 +1232,10 @@ def __init__(self, s=""):
elements = []
if isstr(s):
# Have to handle escaped spaces correctly.
elements = s.replace("\ ", "\001").split()
elements = s.replace("\\ ", "\001").split()
else:
elements = s
self.l = [e.replace("\001", " ") for e in elements]
self.l = [e.replace("\001", "\\ ") for e in elements]

def __len__(self):
return len(self.l)
Expand Down

0 comments on commit 8c329fc

Please sign in to comment.