diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-10 16:42:05 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-10 16:42:05 +0200 |
| commit | 3145cf6559213ae4661151dbc75111af4f593bdd (patch) | |
| tree | 155d647e4dcb1e4d0769cf3e77ed712fa6641a7c | |
| parent | 69a5389f2d1660000a6c4970f2c7e67ea0dc91d7 (diff) | |
| download | archlinuxewe.git.save-3145cf6559213ae4661151dbc75111af4f593bdd.tar.xz | |
checkVersions: mark arch32 versions as such
| -rwxr-xr-x | checkVersions | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/checkVersions b/checkVersions index ccb84f7e..9ca21d91 100755 --- a/checkVersions +++ b/checkVersions @@ -101,7 +101,7 @@ then if ! mountpoint -q /mnt/archlinux32; then mount /mnt/archlinux32 fi - /usr/src/archlinux32/devops/watch-versions | tee -a "${tmpFile}" + /usr/src/archlinux32/devops/watch-versions | sed 's/$/ (arch32)/' | tee -a "${tmpFile}" ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||" | grep '32$') | tee -a "${tmpFile}" err=$? fi @@ -120,6 +120,7 @@ then ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||") err=$? else + /usr/src/archlinux32/devops/watch-versions | sed 's/$/ (arch32)/' ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||" | grep '32$') err=$? fi |