diff options
author | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-19 12:42:45 +0000 |
---|---|---|
committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2012-02-19 12:42:45 +0000 |
commit | 3ddffc62b06b640ae5d906af1147fb4aaf3ae93f (patch) | |
tree | 6dcae8b983017631d4d47d1856978855ffb3914d | |
parent | 8d8ca137c984341fcfdee4148fde002b2fdea9b8 (diff) |
Clean DDE build
-rwxr-xr-x | debian/rules | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 94d610d0..184f6acd 100755 --- a/debian/rules +++ b/debian/rules @@ -38,6 +38,14 @@ build/hurd:: $(MAKE) -C dde_rtl8139 $(MAKE) -C dde_ne2k_pci +clean/hurd:: + $(MAKE) -C libdde_linux26 clean + $(MAKE) -C dde_e100 clean + $(MAKE) -C dde_e1000 clean + $(MAKE) -C dde_pcnet32 clean + $(MAKE) -C dde_rtl8139 clean + $(MAKE) -C dde_ne2k_pci clean + install/hurd:: # runsystem is managed by update-alternatives mv debian/tmp/lib/hurd/runsystem debian/tmp/lib/hurd/runsystem.gnu |