Log build time
@@ -16,9 +16,11 @@ clear
echo Buildung for Raspberry Pi $1
echo ============================
echo
+date > buildtime.$1
./build-config $1 release
./clean $1
./compile $1
# For some reason, first build sometimes fails
./compile $1
./create-image $1 $TS
+date >> buildtime.$1
