diff options
| author | Thomas Schwinge <tschwinge@gnu.org> | 2006-10-15 22:03:43 +0000 |
|---|---|---|
| committer | Thomas Schwinge <tschwinge@gnu.org> | 2009-06-18 00:26:48 +0200 |
| commit | 05ab180bd2319131b151602c2285373c8a178657 (patch) | |
| tree | 66303e228b986d79e9c1593b30ae81d07d5f3d1f /config.status.dep.patch | |
| parent | 791b8ef7e38ef7d03b81bdf15dfface372d29f86 (diff) | |
2006-10-16 Thomas Schwinge <tschwinge@gnu.org>
[bug #18011 --- ``GNU Mach: `make install-data' will build the
``to-be-generated files'''']
* config.status.dep.patch: Do an educated guess instead of using the
`Makefile'.
* configure.ac <config.status.dep.patch>: Update description.
Diffstat (limited to 'config.status.dep.patch')
| -rw-r--r-- | config.status.dep.patch | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/config.status.dep.patch b/config.status.dep.patch index c14b6eae..b169a892 100644 --- a/config.status.dep.patch +++ b/config.status.dep.patch @@ -1,11 +1,17 @@ --- config.status.save 2006-10-09 22:28:47.000000000 +0200 +++ config.status 2006-10-09 22:29:34.000000000 +0200 -@@ -1610,7 +1610,7 @@ +@@ -1610,7 +1610,13 @@ { (exit 1); exit 1; }; }; } # echo "creating $dirpart/$file" - echo '# dummy' > "$dirpart/$file" -+ echo 'Makefile: $(filter-out $(DIST_SOURCES),$(SOURCES))' > "$dirpart/$file" ++ # Try to guess what file this dependency file is from... ++ for f in "$srcdir"/"`dirname "$fdir"`"/"`basename "$file" .Po`"*; do ++ case $f in ++ *.c | *.S) echo "$f"': $(filter-out $(DIST_SOURCES),$(SOURCES))';; ++ *) echo '# dummy';; ++ esac ++ done > "$dirpart/$file" done done ;; |