path: root/legacy/elementary/
diff options
authorStefan Schmidt <>2015-09-04 14:57:50 +0200
committerStefan Schmidt <>2015-09-04 14:59:08 +0200
commit52755c7874cb4d69d7ba4ad073df3a6c4bb281eb (patch)
tree6c9e01a0d06e36e6d0c26dd472818f611c6db1b5 /legacy/elementary/
parenta501148a2f0773d68ed6a8305ce4e5fd6dbc6afd (diff)
build: ensure we do not fail clean if check-results.xml does not exist
If we did not run make check this file would not exist and a clean would fail over it. Using -f ignores this case.
Diffstat (limited to 'legacy/elementary/')
1 files changed, 1 insertions, 1 deletions
diff --git a/legacy/elementary/ b/legacy/elementary/
index 3cb5d0ac2c..dc3def2cc8 100644
--- a/legacy/elementary/
+++ b/legacy/elementary/
@@ -156,5 +156,5 @@ if ELEMENTARY_ENABLE_COVERAGE
156endif 156endif
157 157
158clean-local: 158clean-local:
159 rm src/tests/check-results.xml 159 rm -f src/tests/check-results.xml
160endif 160endif