diff options
Diffstat (limited to 'debian/rules')
| -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 |