From f663fd8163c8ac75ccea4e2003615873ead13e7f Mon Sep 17 00:00:00 2001
From: Aaron Boman <aaron@aaronboman.com>
Date: Sun, 9 Oct 2016 00:05:04 -0500
Subject: [PATCH] Update set_abbreviated_paths() to work from Jam.

---
 src/build/property.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/build/property.py b/src/build/property.py
index 0c3ac44cf..4d1b192c5 100644
--- a/src/build/property.py
+++ b/src/build/property.py
@@ -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