From 5f02a574783d3ee5fa5e119af1a2d5e163dd1143 Mon Sep 17 00:00:00 2001 From: Sebastian Huber Date: Tue, 24 Oct 2017 11:17:54 +0200 Subject: score: Change _Timecounter_Time_uptime to int32_t Move basic timecounter API shared with BSD network stack to . Update #3185. --- cpukit/libcsupport/Makefile.am | 1 + 1 file changed, 1 insertion(+) (limited to 'cpukit/libcsupport/Makefile.am') diff --git a/cpukit/libcsupport/Makefile.am b/cpukit/libcsupport/Makefile.am index dbba6b1d8b..756526ae8e 100644 --- a/cpukit/libcsupport/Makefile.am +++ b/cpukit/libcsupport/Makefile.am @@ -29,6 +29,7 @@ include_machine_HEADERS += include/machine/_kernel_cpuset.h include_machine_HEADERS += include/machine/_kernel_param.h include_machine_HEADERS += include/machine/_kernel_time.h include_machine_HEADERS += include/machine/_kernel_types.h +include_machine_HEADERS += include/machine/_timecounter.h ## General stuff ERROR_C_FILES = src/error.c src/__assert.c -- cgit v1.2.3