diff options
Diffstat (limited to 'build/name.cxx')
| -rw-r--r-- | build/name.cxx | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/build/name.cxx b/build/name.cxx index 89236ee..4061c78 100644 --- a/build/name.cxx +++ b/build/name.cxx @@ -15,6 +15,9 @@ namespace build ostream& operator<< (ostream& os, const name& n) { + if (n.proj != nullptr) + os << *n.proj << '%'; + // If the value is empty, then we want to print the directory // inside {}, e.g., dir{bar/}, not bar/dir{}. We also want to // print {} for an empty name. |