diff options
| author | Gard Spreemann <gspreemann@gmail.com> | 2018-03-08 23:34:02 +0100 |
|---|---|---|
| committer | Gard Spreemann <gspreemann@gmail.com> | 2018-03-08 23:52:37 +0100 |
| commit | cf0106d9a7c7be338390f5c1351b7db61167b481 (patch) | |
| tree | 46dd9678a8c9db2a19b171e3051f08439a983780 /debian/rules | |
| parent | 66162b228ecb088ee988f7221238dee9d482b4a6 (diff) | |
Use debian/clean instead of override_dh_auto_clean.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 5 |
1 files changed, 0 insertions, 5 deletions
diff --git a/debian/rules b/debian/rules index 626a2651..048d9adf 100755 --- a/debian/rules +++ b/debian/rules @@ -13,11 +13,6 @@ LDFLAGS:=$(shell dpkg-buildflags --get LDFLAGS) override_dh_auto_configure: dh_auto_configure -- -DWITH_GUDHI_BENCHMARK=true -DWITH_GUDHI_EXAMPLE=true -DWITH_GUDHI_PYTHON=true -DWITH_GUDHI_TEST=true -DWITH_GUDHI_UTILITIES=true -override_dh_auto_clean: - rm -f GUDHIVersion.cmake - rm -rf doc/html - dh_auto_clean --builddirectory=build - override_dh_auto_build: make -C build doxygen dh_auto_build --builddirectory=build |