diff options
Diffstat (limited to 'winsup/w32api/lib/Makefile.in')
-rw-r--r-- | winsup/w32api/lib/Makefile.in | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/winsup/w32api/lib/Makefile.in b/winsup/w32api/lib/Makefile.in index ddb0d8202..a577ab1bc 100644 --- a/winsup/w32api/lib/Makefile.in +++ b/winsup/w32api/lib/Makefile.in @@ -87,6 +87,7 @@ LD = @LD@ # headers HEADERS = $(notdir $(wildcard $(srcdir)/../include/*.h)) +GL_HEADERS = $(notdir $(wildcard $(srcdir)/../include/GL/*.h)) # libraries @@ -158,6 +159,10 @@ install-headers: for i in $(HEADERS); do \ $(INSTALL_DATA) $(srcdir)/../include/$$i $(inst_includedir)/$$i ; \ done + $(mkinstalldirs) $(inst_includedir)/GL + for i in $(GL_HEADERS); do \ + $(INSTALL_DATA) $(srcdir)/../include/GL/$$i $(inst_includedir)/GL/$$i ; \ + done # uninstall headers and libraries from a target specified directory uninstall: uninstall-libraries uninstall-headers |