Debugging source builds

720334cf · Jan Möbius · 27b0306e · 720334cf
Commit 720334cf authored Mar 05, 2019 by Jan Möbius
Hide whitespace changes
Inline Side-by-side

Showing with 6 additions and 0 deletions

CI/ci-source.sh CI/ci-source.sh +6 -0

No files found.
--- a/CI/ci-source.sh
+++ b/CI/ci-source.sh
@@ -8,7 +8,13 @@ pwd
 ls

 cd build-doc
+
+ls
+
 cmake ..
+
+ls
+
 make doc
 cd ..