diff options
author | Roland McGrath <roland@gnu.org> | 1993-05-08 00:00:48 +0000 |
---|---|---|
committer | Roland McGrath <roland@gnu.org> | 1993-05-08 00:00:48 +0000 |
commit | 6303977c26761ddbbb93ba3841bcb7e21e6fc780 (patch) | |
tree | 51aced4c070ebdefe732f21a9c20a2086a323f5b | |
parent | e317da6ad4064e6f0088ce6c3f8e8a73eb7e3053 (diff) |
Formerly ../Make-dist.~52~
-rw-r--r-- | Make-dist | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -1,4 +1,4 @@ -# Copyright (C) 1991, 1992 Free Software Foundation, Inc. +# Copyright (C) 1991, 1992, 1993 Free Software Foundation, Inc. # This file is part of the GNU C Library. # The GNU C Library is free software; you can redistribute it and/or @@ -86,7 +86,7 @@ foo:=$(shell echo '+out=$(+out)' >&2; echo foofoo >&2) $(sources) $(all-headers) $(distribute)) \ $(+sysdeps) foo:=$(shell echo made +tsrcs >&2) -+tsrcs := $(sort $(filter-out $(generated, 1993),$(+tsrcs))) ++tsrcs := $(sort $(filter-out $(generated),$(+tsrcs))) foo:=$(shell echo '+tsrcs=$(+tsrcs)'>&2) foo:=$(shell echo foobie, dammit! >&2) @@ -193,6 +193,14 @@ subdir_dist: $(dist-subdirs) $(dist-subdirs): $(MAKE) -C $(patsubst dist-%,%,$@) dist +# This is here instead of in Makefile so it can use $(release) and $(version). +README: README.template version.c + -rm -f $@ + sed -e 's/RELEASE/$(release)/' -e 's/VERSION/$(version)/' < $< > $@ +# Make it unwritable so I won't change it by mistake. + chmod 444 $@ + + endif # Subdirectory vs. parent makefile # Get these things out of the environment because they take up lots of space. |