diff options
Diffstat (limited to 'modules/sched')
| -rw-r--r-- | modules/sched | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/modules/sched b/modules/sched index 128ec35eec..d126fc7616 100644 --- a/modules/sched +++ b/modules/sched @@ -12,9 +12,6 @@ configure.ac: gl_SCHED_H Makefile.am: -nodist_pkginclude_HEADERS += $(SCHED_H) -EXTRA_HEADERS += sched.h - BUILT_SOURCES += $(SCHED_H) # We need the following in order to create a replacement for <sched.h> when |