diff options
| author | Guillem Jover <guillem@debian.org> | 2004-11-21 17:48:01 +0000 |
|---|---|---|
| committer | Guillem Jover <guillem@debian.org> | 2004-11-21 17:48:01 +0000 |
| commit | bbb36052398a2776125844865bd3db85f014b450 (patch) | |
| tree | 42fb9d6dad1277d2e8268a6040c2f234850767e9 /debian/rules | |
| parent | bbeca1371aa62028c67917f52a2f977bf09288a8 (diff) | |
Do not use stamp files for build targets.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 12 |
1 files changed, 4 insertions, 8 deletions
diff --git a/debian/rules b/debian/rules index 705af1f..4ff41a2 100755 --- a/debian/rules +++ b/debian/rules @@ -132,22 +132,18 @@ stamp-configure-dbg: all build: -build-gnumach: stamp-build-gnumach -stamp-build-gnumach: configure +build-gnumach: configure dh_testdir - $(MAKE) -C build + $(MAKE) -C build CFLAGS="$(CFLAGS) -DNDEBUG" $(MAKE) -C build/doc - touch stamp-build-gnumach -build-gnumach-dbg: stamp-build-gnumach-dbg -stamp-build-gnumach-dbg: configure-dbg +build-gnumach-dbg: configure-dbg dh_testdir $(MAKE) -C build-dbg - touch stamp-build-gnumach-dbg clean:: dh_testdir - -rm -f machine stamp-build stamp-configure + -rm -f machine stamp-configure -rm -rf build build-dbg -rm -f core `find . \( -name '*.orig' -o -name '*.rej' -o -name '*~' \ -o -name '*.bak' -o -name '#*#' -o -name '.*.orig' \ |