2 A <sched.h> include file.
15 nodist_pkginclude_HEADERS += $(SCHED_H)
16 EXTRA_HEADERS += sched.h
18 BUILT_SOURCES += $(SCHED_H)
20 # We need the following in order to create a replacement for <sched.h> when
21 # the system doesn't have one.
23 $(AM_V_GEN)rm -f $@-t $@ && \
24 { echo '/* DO NOT EDIT! GENERATED AUTOMATICALLY! */'; \
25 sed -e 's|@''HAVE_SCHED_H''@|$(HAVE_SCHED_H)|g' \
26 -e 's|@''INCLUDE_NEXT''@|$(INCLUDE_NEXT)|g' \
27 -e 's|@''PRAGMA_SYSTEM_HEADER''@|@PRAGMA_SYSTEM_HEADER@|g' \
28 -e 's|@''PRAGMA_COLUMNS''@|@PRAGMA_COLUMNS@|g' \
29 -e 's|@''NEXT_SCHED_H''@|$(NEXT_SCHED_H)|g' \
30 -e 's|@''HAVE_STRUCT_SCHED_PARAM''@|$(HAVE_STRUCT_SCHED_PARAM)|g' \
31 < $(srcdir)/sched.in.h; \
34 MOSTLYCLEANFILES += sched.h sched.h-t