[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
installhdrs for server?
|
From: |
Marcus Brinkmann |
|
Subject: |
installhdrs for server? |
|
Date: |
Sat, 3 Aug 2002 21:52:48 -0400 |
|
User-agent: |
Mutt/1.3.28i |
Hi,
it seems the Makefiles support installhdrs only for the type libraries,
but I need to install a header for the console server, too (which
defines interfaces for the shared memory communication).
Can the Makefiles be extended to do that?
Thanks,
Marcus
- installhdrs for server?,
Marcus Brinkmann <=