diff options
| author | Eli Zaretskii <eliz@gnu.org> | 2000-04-03 15:12:59 +0000 |
|---|---|---|
| committer | Eli Zaretskii <eliz@gnu.org> | 2000-04-03 15:12:59 +0000 |
| commit | bf1798eaab17fe7c82f6343a6dcaa10aae57692e (patch) | |
| tree | 08521953a047f31c014be094c06602a84bd5d76b /gdb/Makefile.in | |
| parent | b77a133c96560fe3709d191aebc5337b766ffb28 (diff) | |
| download | gdb-bf1798eaab17fe7c82f6343a6dcaa10aae57692e.zip gdb-bf1798eaab17fe7c82f6343a6dcaa10aae57692e.tar.gz gdb-bf1798eaab17fe7c82f6343a6dcaa10aae57692e.tar.bz2 | |
* Makefile.in (copying.c): Depend on copying.txt, not COPYING.
(copying.txt): New target, a link to COPYING.
Diffstat (limited to 'gdb/Makefile.in')
| -rw-r--r-- | gdb/Makefile.in | 14 |
1 files changed, 12 insertions, 2 deletions
diff --git a/gdb/Makefile.in b/gdb/Makefile.in index d036ce1..0fbab20 100644 --- a/gdb/Makefile.in +++ b/gdb/Makefile.in @@ -942,9 +942,19 @@ doc/gdb.dvi: doc/gdb.info: cd doc; $(MAKE) gdb.info $(FLAGS_TO_PASS) +# When DJGPP Make runs on MS-DOS, it downcases all file names, so +# it doesn't find COPYING, and wants to make it... +copying.txt: + test -f copying.txt || \ + (test "$$LN_S" = "ln -s" && \ + ln -s $(srcdir)/COPYING copying.txt;) || \ + cp -p $(srcdir)/COPYING copying.txt 2>/dev/null || \ + ln $(srcdir)/COPYING copying.txt 2>/dev/null || \ + cp $(srcdir)/COPYING copying.txt + # Make copying.c from COPYING -copying.c: COPYING copying.awk - awk -f $(srcdir)/copying.awk < $(srcdir)/COPYING > copying.c +copying.c: copying.txt copying.awk + awk -f $(srcdir)/copying.awk < $(srcdir)/copying.txt > copying.c version.c: Makefile rm -f version.c |