From d7009444b321586e17b87264e39ad86192e06690 Mon Sep 17 00:00:00 2001
From: Holger Weiss <holger@zedat.fu-berlin.de>
Date: Tue, 1 Aug 2023 08:51:41 +0200
Subject: [PATCH] Fix remaining references to "scripts" directory

---
 tools/make-containers | 2 +-
 tools/make-installers | 2 +-
 tools/make-packages   | 2 +-
 tools/make-release    | 2 +-
 tools/make-source     | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/tools/make-containers b/tools/make-containers
index bf28f2919..f2407fdd9 100755
--- a/tools/make-containers
+++ b/tools/make-containers
@@ -70,7 +70,7 @@ buildah_push_manifest()
 		docker://"$registry/$repo_name:$tag"
 }
 
-if ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ]
+if ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ]
 then
 	echo >&2 "Please call this script from the repository's root directory."
 	exit 2
diff --git a/tools/make-installers b/tools/make-installers
index 5e7a4a894..f27dca593 100755
--- a/tools/make-installers
+++ b/tools/make-installers
@@ -14,7 +14,7 @@ usage()
 	exit 2
 }
 
-if ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ]
+if ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ]
 then
 	echo >&2 "Please call this script from the repository's root directory."
 	exit 2
diff --git a/tools/make-packages b/tools/make-packages
index 04b371415..5582c871c 100755
--- a/tools/make-packages
+++ b/tools/make-packages
@@ -28,7 +28,7 @@ do
 done
 shift $((OPTIND - 1))
 
-if ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ]
+if ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ]
 then
 	echo >&2 "Please call this script from the repository's root directory."
 	exit 2
diff --git a/tools/make-release b/tools/make-release
index ef414ee1a..748e37b8d 100755
--- a/tools/make-release
+++ b/tools/make-release
@@ -17,7 +17,7 @@ if ! git rev-parse >'/dev/null' 2>&1
 then
 	echo >&2 'This script can only be executed within the Git repository.'
 	exit 2
-elif ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ]
+elif ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ]
 then
 	echo >&2 "Please call this script from the repository's root directory."
 	exit 2
diff --git a/tools/make-source b/tools/make-source
index 5b08ef713..be2fc9058 100755
--- a/tools/make-source
+++ b/tools/make-source
@@ -19,7 +19,7 @@ if ! git rev-parse >'/dev/null' 2>&1
 then
 	echo >&2 'This script can only be executed within the Git repository.'
 	exit 2
-elif ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ]
+elif ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ]
 then
 	echo >&2 "Please call this script from the repository's root directory."
 	exit 2