diff options
| author | Erich Eckner <git@eckner.net> | 2018-07-10 15:28:19 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-07-10 15:28:19 +0200 |
| commit | c89bb07e2f5d9bacbd367e42b926229e356e91f1 (patch) | |
| tree | 49165d05a363113d32518cd7893b3d6838df6135 /checkVersions | |
| parent | db6439c133a7ba0998eefdd100d9d158a961fcf0 (diff) | |
| download | archlinuxewe.git.save-c89bb07e2f5d9bacbd367e42b926229e356e91f1.tar.xz | |
checkVersions: surveil /usr/src/archlinux32/devops ,too
Diffstat (limited to 'checkVersions')
| -rwxr-xr-x | checkVersions | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checkVersions b/checkVersions index 0e5ee12b..ccb84f7e 100755 --- a/checkVersions +++ b/checkVersions @@ -101,6 +101,7 @@ then if ! mountpoint -q /mnt/archlinux32; then mount /mnt/archlinux32 fi + /usr/src/archlinux32/devops/watch-versions | tee -a "${tmpFile}" ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||" | grep '32$') | tee -a "${tmpFile}" err=$? fi |