From 41984afaaf1527d1af80320befb4e9879eda27e6 Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Tue, 19 Nov 2019 05:25:16 +0000 Subject: 2019-11-19T05:20:01Z --- hhvm.html | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'hhvm.html') diff --git a/hhvm.html b/hhvm.html index 5870ac1910c5..d2bc885b5650 100644 --- a/hhvm.html +++ b/hhvm.html @@ -38,21 +38,23 @@ 14
$ pmaint sync hhvm
 
- 15
Already up to date.
+            15
WARNING:pkgcore:grub2-themes repo at '/var/lib/repo-mirror-ci/sync/grub2-themes', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
 
- 16
*** syncing hhvm
+            16
Already up to date.
 
- 17
*** synced hhvm
+            17
*** syncing hhvm
 
- 18
 * Sync succeeded
+            18
*** synced hhvm
 
- 19
$ git log --format=%ci -1
+            19
 * Sync succeeded
 
- 20
$ git show -q --pretty=format:%G? HEAD
+            20
$ git log --format=%ci -1
 
- 21
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 hhvm
+            21
$ git show -q --pretty=format:%G? HEAD
 
- 22
 * Cache regenerated successfully
+            22
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 hhvm
+
+ 23
 * Cache regenerated successfully
 
-- cgit v1.2.3-65-gdbad