aboutsummaryrefslogtreecommitdiff
path: root/build2/dist
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2017-01-19 16:50:40 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2017-01-19 16:50:40 +0200
commit5164c843513212ab1ac1f721c4de04b6a865eb0c (patch)
tree1c6b2f440bd6dcd41fed60e76095bae2bf4e9e54 /build2/dist
parent5607313a91e5ca0113b1f8b9acfd02c1fb105346 (diff)
Get rid of extension_pool
Diffstat (limited to 'build2/dist')
-rw-r--r--build2/dist/operation.cxx2
1 files changed, 1 insertions, 1 deletions
diff --git a/build2/dist/operation.cxx b/build2/dist/operation.cxx
index 47e188c..9535566 100644
--- a/build2/dist/operation.cxx
+++ b/build2/dist/operation.cxx
@@ -160,7 +160,7 @@ namespace build2
move (d),
move (out),
p.leaf ().base ().string (),
- &extension_pool.find (p.extension ()), // Specified.
+ p.extension (), // Specified.
trace);
}
};