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 /config.status.dep.patch | |
parent | 794dbb92b8cdfdabface54dc01f32af5e4410886 (diff) | |
download | gnumach-c008f2a278976d226d0823bef4fb9396d6557885.tar.gz gnumach-c008f2a278976d226d0823bef4fb9396d6557885.tar.bz2 gnumach-c008f2a278976d226d0823bef4fb9396d6557885.zip |
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>.
Diffstat (limited to 'config.status.dep.patch')
-rw-r--r-- | config.status.dep.patch | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/config.status.dep.patch b/config.status.dep.patch index b169a892..871fd773 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';; |