diff options
-rwxr-xr-x | fetch | 2 | ||||
-rwxr-xr-x | fetch_trees | 2 | ||||
-rwxr-xr-x | lbmk | 2 |
3 files changed, 3 insertions, 3 deletions
@@ -20,7 +20,7 @@ main() id -u 1>/dev/null 2>/dev/null || \ fail "cannot ascertain user id" if [ "$(id -u)" = "0" ]; then - fail "running lbmk as root as not permitted" + fail "running lbmk as root is not permitted" fi ./checkgit || err "Please read: https://libreboot.org/docs/build/" diff --git a/fetch_trees b/fetch_trees index be5d4d86..20bc1587 100755 --- a/fetch_trees +++ b/fetch_trees @@ -37,7 +37,7 @@ main() id -u 1>/dev/null 2>/dev/null || \ err "cannot ascertain user id" if [ "$(id -u)" = "0" ]; then - err "running lbmk as root as not permitted" + err "running lbmk as root is not permitted" fi ./checkgit || err "Please read: https://libreboot.org/docs/build/" @@ -41,7 +41,7 @@ main() mode="${1}" if [ "$(id -u)" = "0" ] && [ "${mode}" != "dependencies" ]; then - err "running lbmk as root as not permitted" + err "running lbmk as root is not permitted" fi ./checkgit || err "Please read: https://libreboot.org/docs/build/" |