diff options
author | Thomas Schwinge <tschwinge@gnu.org> | 2007-04-11 10:41:54 +0000 |
---|---|---|
committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:27:07 +0200 |
commit | c008f2a278976d226d0823bef4fb9396d6557885 (patch) | |
tree | 64d7007fc6835f9898346a5e8196403d79efd9a4 | |
parent | 794dbb92b8cdfdabface54dc01f32af5e4410886 (diff) |
2007-04-11 Thomas Schwinge <tschwinge@gnu.org>
* config.status.dep.patch: Update to match more files. This fixes
building GNU Mach with ``make -j2'' and higher. The problem was
reported by Michael Casadevall <sonicmctails@gmail.com>.
-rw-r--r-- | ChangeLog | 6 | ||||
-rw-r--r-- | config.status.dep.patch | 5 |
2 files changed, 9 insertions, 2 deletions
@@ -1,3 +1,9 @@ +2007-04-11 Thomas Schwinge <tschwinge@gnu.org> + + * config.status.dep.patch: Update to match more files. This fixes + building GNU Mach with ``make -j2'' and higher. The problem was + reported by Michael Casadevall <sonicmctails@gmail.com>. + 2007-04-02 Thomas Schwinge <tschwinge@gnu.org> * i386/i386/io_emulate.c: Remove file. diff --git a/config.status.dep.patch b/config.status.dep.patch index b169a89..871fd77 100644 --- a/config.status.dep.patch +++ b/config.status.dep.patch @@ -1,12 +1,13 @@ --- config.status.save 2006-10-09 22:28:47.000000000 +0200 +++ config.status 2006-10-09 22:29:34.000000000 +0200 -@@ -1610,7 +1610,13 @@ +@@ -1610,7 +1610,14 @@ { (exit 1); exit 1; }; }; } # echo "creating $dirpart/$file" - echo '# dummy' > "$dirpart/$file" + # Try to guess what file this dependency file is from... -+ for f in "$srcdir"/"`dirname "$fdir"`"/"`basename "$file" .Po`"*; do ++ f=$srcdir/`dirname "$fdir"`/`basename "$file" .Po | sed s/lib[^-]\*-//` ++ for f in "$f"*; do + case $f in + *.c | *.S) echo "$f"': $(filter-out $(DIST_SOURCES),$(SOURCES))';; + *) echo '# dummy';; |