slightly more compact file;

--- a/src/Pure/Admin/build_log.scala	Thu May 04 00:15:11 2017 +0200
+++ b/src/Pure/Admin/build_log.scala	Thu May 04 00:19:05 2017 +0200
@@ -810,6 +810,7 @@
             db2.create_view(Data.full_table)
           }
         }
+        db2.rebuild
       })
     }