![]() | |
![]() |
| | Thread Tools | Display Modes |
#1
| |||
| |||
|
#2
| |||
| |||
|
|
Description: server includes not installed by default |
#3
| |||
| |||
|
|
make install-all-headers Good, but not enough? I still argue that it should be done "by default" |
#4
| |||
| |||
|
|
make install-all-headers I still argue that it should be done "by default" I agree, but this is not a bug, it is a deliberate design decision. |
|
If you want to change it, argue about it on -hackers. |
#5
| |||
| |||
|
|
Description: server includes not installed by default make install-all-headers |
![]() |
| Thread Tools | |
| Display Modes | |
| |