diff options
| author | David Bremner <bremner@debian.org> | 2012-08-02 09:30:31 -0300 |
|---|---|---|
| committer | David Bremner <bremner@debian.org> | 2012-08-02 21:10:15 -0300 |
| commit | 719897cdc330a41c22271fded8d911035c275dec (patch) | |
| tree | 55fc4ebe7033d8a95125951b20e3498ae9913a74 /debian | |
| parent | 8a745d310f966194e82f12f6453f05cc877379d6 (diff) | |
build system: remove configure output in Make distclean.
Create a variable DISTCLEAN which contains a list of things to
clean in the distclean target (in addition to running the clean
target).
The deleted comment seems to be false these days, since we do
create files during configuration.
Use "rm -rf" here as well in case we want to add directories to
DISTCLEAN.
Diffstat (limited to 'debian')
0 files changed, 0 insertions, 0 deletions