correct the name of 32-bit ARM arch (thanks jimduchek)

2 files changed, 7 insertions, 7 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 66229ef4d720..44a4f3d99d78 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,12 +1,12 @@
 # Generated by mksrcinfo v8
-# Sat Mar 25 00:13:46 UTC 2017
+# Sat Aug 26 06:40:36 UTC 2017
 pkgbase = pps-tools-git
 	pkgdesc = LinuxPPS user-space tools
-	pkgver = 1.0.r0.9d82bc4
-	pkgrel = 2
+	pkgver = 1.0.r1.c746f3a
+	pkgrel = 1
 	url = http://linuxpps.org/
 	arch = aarch64
-	arch = arm7vh
+	arch = armv7h
 	arch = i686
 	arch = x86_64
 	license = GPL2
diff --git a/PKGBUILD b/PKGBUILD
index ba71f538788d..e31613a2bba4 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,10 +1,10 @@
 # Maintainer: Mike Swanson <mikeonthecomputer@gmail.com>
 
 pkgname=pps-tools-git
-pkgver=1.0.r0.9d82bc4
-pkgrel=2
+pkgver=1.0.r1.c746f3a
+pkgrel=1
 pkgdesc="LinuxPPS user-space tools"
-arch=('aarch64' 'arm7vh' 'i686' 'x86_64')
+arch=('aarch64' 'armv7h' 'i686' 'x86_64')
 url="http://linuxpps.org/"
 license=('GPL2')
 provides=('pps-tools')