From 34f1260a38f35077a61059db1d54619bc7c030d5 Mon Sep 17 00:00:00 2001
From: Marco Paganini <paganini@paganini.net>
Date: Fri, 10 Feb 2023 20:38:54 -0800
Subject: [PATCH] Removed undefined variable ERR.

---
 dist/install.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/dist/install.sh b/dist/install.sh
index 061aade..db2cce2 100755
--- a/dist/install.sh
+++ b/dist/install.sh
@@ -7,14 +7,14 @@ set -eu
 readonly PREFIX="/usr/local"
 
 die() {
-  echo >&2 "${ERR} ${*}"
+  echo >&2 "${*}"
   exit 1
 }
 
 main() {
   uid="$(id -u)"
   if [ "${uid}" -ne 0 ]; then
-    die "Please run this program as root (using sudo)"
+    die "Please run this program as root (using sudo)."
   fi
 
   bindir="${PREFIX}/bin"