diff options
| author | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-27 16:00:59 +0200 |
|---|---|---|
| committer | Thomas Schwinge <thomas@codesourcery.com> | 2013-09-27 21:24:24 +0200 |
| commit | 1b773f28b1c108391b02c714ab345c56dc03ebae (patch) | |
| tree | 499ed63afd54a46f3e56005bd38ad316560a396f /Makefile.am | |
| parent | 0069c83fadda450442e4681d3b821c60ad491337 (diff) | |
dist-hook extensibility.
* Makefile.am (dist-hook): Rename to...
(dist-rm-CVS): ... this new target.
(dist-hook): Depend on it.
Diffstat (limited to 'Makefile.am')
| -rw-r--r-- | Makefile.am | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/Makefile.am b/Makefile.am index 319b7e80..5f02b4de 100644 --- a/Makefile.am +++ b/Makefile.am @@ -1,6 +1,6 @@ # Makefile for GNU Mach. -# Copyright (C) 2006, 2007, 2008, 2009 Free Software Foundation, Inc. +# Copyright (C) 2006, 2007, 2008, 2009, 2013 Free Software Foundation, Inc. # This program is free software; you can redistribute it and/or modify it # under the terms of the GNU General Public License as published by the @@ -196,7 +196,10 @@ EXTRA_DIST += \ EXTRA_DIST += \ DEVELOPMENT -dist-hook: +dist-hook: dist-rm-CVS + +.PHONY: dist-rm-CVS +dist-rm-CVS: # Try to be very safe with respect to spuriously removing various directories # in case of an error. find $(distdir)/ -type d -name CVS | while read d; do \ |