Merge pull request #1614 from antmicro/add-gtp-ports-attrs-file

gtp: generate attributes and ports files to add to the db

.github/kokoro/db-full.sh

diff --git a/.github/kokoro/db-full.sh b/.github/kokoro/db-full.sh
index 7130f11..792c1b5 100755
--- a/.github/kokoro/db-full.sh
+++ b/.github/kokoro/db-full.sh
@@ -65,6 +65,12 @@
 		echo "A failure occurred during Database build."
 		echo "----------------------------------------"
 		rm $tmp
+
+		echo "========================================"
+		echo " Disk space in failure path"
+		echo "----------------------------------------"
+		du -sh
+
 		exit $DATABASE_RET
 	fi
 )
@@ -188,3 +194,8 @@
 	make clean_piplists
 )
 echo "----------------------------------------"
+
+echo "========================================"
+echo " Final disk space after cleanup"
+echo "----------------------------------------"
+du -sh