2009-07-01 18:31:47 +00:00
|
|
|
nobase_pkginclude_HEADERS = *.h
|
|
|
|
nobase_pkginclude_HEADERS += ia32/sys/*.h
|
|
|
|
nobase_pkginclude_HEADERS += rpc/*.h
|
|
|
|
nobase_pkginclude_HEADERS += sys/*.h
|
2009-11-02 22:08:08 +00:00
|
|
|
nobase_pkginclude_HEADERS += sys/dktp/*.h
|
2009-07-01 18:31:47 +00:00
|
|
|
nobase_pkginclude_HEADERS += sys/sysevent/*.h
|
2010-07-01 17:34:08 +00:00
|
|
|
nobase_pkginclude_HEADERS += util/*.h
|