Test directory contents prior to deletion.
diff --git a/vars/functions.groovy b/vars/functions.groovy
index 5c6011d..bd6928e 100644
--- a/vars/functions.groovy
+++ b/vars/functions.groovy
@@ -87,6 +87,7 @@
             dir(sourcePath) {
                 stage('Init') {
                     container('debian') {
+                        sh 'echo ==================== directory contents; ls'
                         deleteDir()
                         initSourceTree(boardName, needsNative)
                     }