From 7b783cbce2d3efb61c57047ff51188467e38b30c Mon Sep 17 00:00:00 2001 From: Repository mirror & CI Date: Sun, 9 Feb 2020 23:45:59 +0000 Subject: 2020-02-09T23:40:02Z --- gnuradio.html | 20 ++++++++------------ 1 file changed, 8 insertions(+), 12 deletions(-) (limited to 'gnuradio.html') diff --git a/gnuradio.html b/gnuradio.html index 35c4b029211f..228a1e0f6e6a 100644 --- a/gnuradio.html +++ b/gnuradio.html @@ -30,25 +30,21 @@ 10
$ pmaint sync gnuradio
- 11
WARNING:pkgcore:calculate repo at '/var/lib/repo-mirror-ci/sync/calculate', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+            11
Already up to date.
 

-            12
WARNING:pkgcore:distros repo at '/var/lib/repo-mirror-ci/sync/distros', doesn't specify masters in metadata/layout.conf. Please explicitly set masters (use "masters =" if the repo is standalone).
+            12
*** syncing gnuradio
 

-            13
Already up to date.
+            13
*** synced gnuradio
 

-            14
*** syncing gnuradio
+            14
 * Sync succeeded
 

-            15
*** synced gnuradio
+            15
$ git log --format=%ci -1
 

-            16
 * Sync succeeded
+            16
$ git show -q --pretty=format:%G? HEAD
 

-            17
$ git log --format=%ci -1
+            17
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 gnuradio
 

-            18
$ git show -q --pretty=format:%G? HEAD
-

-            19
$ pmaint regen --use-local-desc --pkg-desc-index -t 1 gnuradio
-

-            20
 * Cache regenerated successfully
+            18
 * Cache regenerated successfully
 

 
         
-- 
cgit v1.2.3-65-gdbad