diff options
| author | Earnie Boyd <earnie@users.sf.net> | 2002-05-28 17:20:28 +0400 |
|---|---|---|
| committer | Earnie Boyd <earnie@users.sf.net> | 2002-05-28 17:20:28 +0400 |
| commit | 0c6190694d659fd1fa00423a66b52bbdb9579185 (patch) | |
| tree | c31deeae980e02fb932c4059f4a8d534c6b776e7 /winsup/w32api/lib | |
| parent | 4ad1e6fedbbdf47ea996f317de13d5cd5c5e206e (diff) | |
Merging MinGW changes
Diffstat (limited to 'winsup/w32api/lib')
| -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 |