diff options
| author | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 15:49:11 +0200 |
|---|---|---|
| committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-22 15:49:11 +0200 |
| commit | 6f328ef6de6a703a3fdf30b2d8a4da189dc00c69 (patch) | |
| tree | cd20a2d5841e29b943db6613a70d4fdabbbbcc69 | |
| parent | 073b532612e4cc26513d265eddbd3eec11f3df98 (diff) | |
Rename GudhUI binary.
| -rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 5a0d0ba3..39f48a62 100755 --- a/debian/rules +++ b/debian/rules @@ -92,7 +92,7 @@ override_dh_auto_install: mv $(TMPBIN)/sparse_rips_persistence \ $(TMPBIN)/gudhi-sparse-rips-persistence - install -D build/GudhUI/GudhUI $(TMPBIN)/gudhui + mv $(TMPBIN)/GudhUI $(TMPBIN)/gudhui override_dh_compress: dh_compress -X.cpp |