os/debian/rules
changeset 10394 a0fec997d412
parent 10098 de9c1bd521c8
--- a/os/debian/rules	Sat Nov 29 22:40:54 2008 +0000
+++ b/os/debian/rules	Sun Nov 30 18:45:44 2008 +0000
@@ -36,7 +36,7 @@
 	# We check for Makefile presence, because clean is called at the
 	# start of the build process (before configure) where we don't
 	# have a Makefile yet.
-	[ ! -f Makefile ] || $(MAKE) distclean
+	[ ! -f Makefile ] || $(MAKE) mrproper
 
 	dh_clean