diff options
| author | Erich Eckner <git@eckner.net> | 2018-01-11 08:44:11 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2018-01-11 08:44:11 +0100 |
| commit | 884b6d2761094249d46a6359f7bc2c9fd6b788ca (patch) | |
| tree | fabe49fb087cd199f27fe16e457bccf2bb646c8c | |
| parent | 8b15ce4203c49156bcca8105c151f288acf81f77 (diff) | |
| download | archlinuxewe.git.save-884b6d2761094249d46a6359f7bc2c9fd6b788ca.tar.xz | |
checkVersions: mount /mnt/archlinux32 if necessary
| -rwxr-xr-x | checkVersions | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/checkVersions b/checkVersions index 44e54dcb..e8900635 100755 --- a/checkVersions +++ b/checkVersions @@ -98,6 +98,9 @@ then ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||") | tee -a "${tmpFile}" err=$? else + if ! mountpoint -q /mnt/archlinux32; then + mount /mnt/archlinux32 + fi ${me} "${args[@]}" $(echo */PKGBUILD | tr " " "\n" | sed "s|/PKGBUILD||" | grep '32$') | tee -a "${tmpFile}" err=$? fi |