make distclean in wrong directory

e47ac8ac · Lorenz Huedepohl · a4f915b0 · e47ac8ac
Commit e47ac8ac authored May 24, 2016 by Lorenz Huedepohl
Hide whitespace changes
Inline Side-by-side

Showing with 2 additions and 0 deletions

.gitlab-ci.yml .gitlab-ci.yml +2 -0

No files found.
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -1230,6 +1230,8 @@ test_project:
    - ./test_real
    - make distclean
    - popd
+    - pushd build
    - make distclean
    - rm -rf installdest
+    - popd