php 7.0.0: save build results

1 files changed, 1 insertions, 1 deletions

diff --git a/mkrepo b/mkrepo
index f776f41..d036993 100755
--- a/mkrepo
+++ b/mkrepo
@@ -16,7 +16,7 @@ if [ "$nom" = "SRPMS" ]
 then
   dis=fedora
   ver=17
-  old=3
+  old=4
 else
   dis=${nom%%/*}
   ver=${nom#$dis/}