diff options
-rwxr-xr-x | debian/rules | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 2d04435..56341c1 100755 --- a/debian/rules +++ b/debian/rules @@ -7,3 +7,6 @@ export PYBUILD_NAME = pot %: dh $@ --with python3 --buildsystem=pybuild +override_dh_auto_clean: + dh_auto_clean + rm -f ot/lp/emd_wrap.cpp |