diff options
| author | Peter Korsgaard <jacmet@sunsite.dk> | 2010-07-01 09:03:36 +0200 |
|---|---|---|
| committer | Peter Korsgaard <jacmet@sunsite.dk> | 2010-07-01 09:03:36 +0200 |
| commit | 8e29430410f37fe152c374d1c103a32f1906740e (patch) | |
| tree | 2c4f25352734350835367abbdbda7ef79598c3f6 /package/divine/Config.in | |
| parent | cf4689f8b1f8e2b3cc44b3395add5f0df4f3bd55 (diff) | |
Makefile: fixup make distclean after kconfig build in BUILD_DIR
We don't actually need to explicitly clean the kconfig stuff, as distclean
already removes the entire BUILD_DIR, but fix up the packag/config makefile
to do the right thing if make clean/distclean is called manually for
completeness.
Signed-off-by: Peter Korsgaard <jacmet@sunsite.dk>
Diffstat (limited to 'package/divine/Config.in')
0 files changed, 0 insertions, 0 deletions