diff options
Diffstat (limited to 'build/target-type')
| -rw-r--r-- | build/target-type | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/build/target-type b/build/target-type index d5e7971..154714c 100644 --- a/build/target-type +++ b/build/target-type @@ -42,6 +42,12 @@ namespace build is_a () const {return is_a (typeid (T));} }; + inline bool + operator< (const target_type& x, const target_type& y) + { + return x.id < y.id; + } + inline std::ostream& operator<< (std::ostream& os, const target_type& tt) { |