diff options
Diffstat (limited to 'debian')
| -rw-r--r-- | debian/changelog | 1 | ||||
| -rwxr-xr-x | debian/rules | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/debian/changelog b/debian/changelog index 0558065..748bd8b 100644 --- a/debian/changelog +++ b/debian/changelog @@ -21,6 +21,7 @@ gnumach (2:1.3.99.dfsg.1-1) UNRELEASED; urgency=low - debian/patches/61_vm_resident-zoned.patch: Disable for now, it's causing problems with current applied patches in CVS. * Document the removal of the non-free GFDL manual in debian/copyright. + * Remove the stamp file for the -dbg build. -- Guillem Jover <guillem@debian.org> Sun, 15 Oct 2006 20:58:31 +0300 diff --git a/debian/rules b/debian/rules index ebdaa48..291c8d8 100755 --- a/debian/rules +++ b/debian/rules @@ -62,7 +62,7 @@ build-gnumach-dbg: configure-dbg clean: unpatch dh_testdir - -rm -f machine stamp-configure + -rm -f machine stamp-configure stamp-configure-dbg -rm -rf build build-dbg -rm -f core `find . \( -name '*.orig' -o -name '*.rej' -o -name '*~' \ -o -name '*.bak' -o -name '#*#' -o -name '.*.orig' \ |