diff options
author | Gard Spreemann <gspr@nonempty.org> | 2019-10-23 22:15:35 +0200 |
---|---|---|
committer | Gard Spreemann <gspr@nonempty.org> | 2019-10-23 22:15:35 +0200 |
commit | 9597c830ad833dfca9d47c88d0c72ddd8106d7b4 (patch) | |
tree | b8d370b0d714518ec40e7f95f4eae0163df920be | |
parent | 0f56a612de7be6eccd20fe638a450980b720ae48 (diff) |
Ignore non-existing files when building binary-arch.
-rwxr-xr-x | debian/rules | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/debian/rules b/debian/rules index 3a28c2ca..b758e4ec 100755 --- a/debian/rules +++ b/debian/rules @@ -61,8 +61,8 @@ override_dh_auto_install: done # Remove installed information about Miniball header. - rm build/gudhi/include/gudhi/Miniball.COPYRIGHT - rm build/gudhi/include/gudhi/Miniball.README + rm -f build/gudhi/include/gudhi/Miniball.COPYRIGHT + rm -f build/gudhi/include/gudhi/Miniball.README mv $(TMPBIN)/Nerve \ $(TMPBIN)/gudhi-nerve |