diff options
Diffstat (limited to 'modules/float')
| -rw-r--r-- | modules/float | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/modules/float b/modules/float index 004d2bf42a..c98853b704 100644 --- a/modules/float +++ b/modules/float @@ -12,9 +12,6 @@ configure.ac: gl_FLOAT_H Makefile.am: -nodist_pkginclude_HEADERS += $(FLOAT_H) -EXTRA_HEADERS += float.h - BUILT_SOURCES += $(FLOAT_H) # We need the following in order to create <float.h> when the system |