diff options
Diffstat (limited to 'os')
| -rwxr-xr-x | os/debian/rules | 2 |
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 |