summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rwxr-xr-xos/debian/rules2
1 files changed, 1 insertions, 1 deletions
diff --git a/os/debian/rules b/os/debian/rules
index 1ac6c90ef..6bc9868ab 100755
--- a/os/debian/rules
+++ b/os/debian/rules
@@ -36,7 +36,7 @@ clean:
# 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