diff options
author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-05T14·57+0000 |
---|---|---|
committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2009-03-05T14·57+0000 |
commit | 0e6f6041784ed6d3a3851b20a1d93604e3ae27aa (patch) | |
tree | 2c407242fc2f53aadf2ae0125f2055b284782375 /src/boost | |
parent | 7f254706b065889c444a555ab13fbf75c1c3feee (diff) |
* Install some headers in the right location.
Diffstat (limited to 'src/boost')
-rw-r--r-- | src/boost/Makefile.am | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/boost/Makefile.am b/src/boost/Makefile.am index c149c13f73b2..8b5aa25fb5bd 100644 --- a/src/boost/Makefile.am +++ b/src/boost/Makefile.am @@ -1,6 +1,6 @@ SUBDIRS = format -pkginclude_HEADERS = assert.hpp checked_delete.hpp format.hpp \ +nobase_pkginclude_HEADERS = assert.hpp checked_delete.hpp format.hpp \ shared_ptr.hpp weak_ptr.hpp throw_exception.hpp \ enable_shared_from_this.hpp \ detail/shared_count.hpp detail/workaround.hpp |