diff options
Diffstat (limited to 'Make-dist')
| -rw-r--r-- | Make-dist | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Make-dist b/Make-dist index e757a64d3d..a5f4ddb54f 100644 --- a/Make-dist +++ b/Make-dist @@ -1,4 +1,4 @@ -# Copyright (C) 1991-2001, 2002 Free Software Foundation, Inc. +# Copyright (C) 1991-2001, 2002, 2003 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 @@ -63,7 +63,7 @@ all-headers = $(filter-out $(sysdep_headers),$(headers)) else +distinfo := $(shell MAKEFLAGS= MFLAGS= $(MAKE) -s no_deps=t \ inhibit_interface_rules=t inhibit_mach_syscalls=t \ - inhibit_timezone_rules=t \ + inhibit_timezone_rules=t generating=t \ subdirs='$(subdirs)' echo-distinfo | grep -v '^make') foo:=$(shell echo>&2 '+distinfo=$(+distinfo)') all-headers := $(patsubst +header+%,%,$(filter +header+%,$(+distinfo))) @@ -263,3 +263,4 @@ unexport distribute generated export inhibit_mach_syscalls=t export no_deps=t export inhibit_interface_rules=t +export generating=t |