2
0
mirror of https://github.com/boostorg/build.git synced 2026-02-14 12:42:11 +00:00

Update set_abbreviated_paths() to work from Jam.

This commit is contained in:
Aaron Boman
2016-10-09 00:05:04 -05:00
parent 42e0899eed
commit f663fd8163

View File

@@ -198,6 +198,9 @@ reset ()
def set_abbreviated_paths(on=True):
global __abbreviated_paths
if on == 'off':
on = False
on = bool(on)
__abbreviated_paths = on