From 0e32a1cf3d906a2b074a7659456abbda2c70ab38 Mon Sep 17 00:00:00 2001 From: sando38 Date: Mon, 31 Jul 2023 21:18:34 +0200 Subject: [PATCH] tools/make-binaries: fix, align with new path --- tools/make-binaries | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/make-binaries b/tools/make-binaries index caf283359..3910a91f6 100755 --- a/tools/make-binaries +++ b/tools/make-binaries @@ -25,7 +25,7 @@ usage() exit 2 } -if ! [ -e 'rebar.config' ] || ! [ -e "scripts/$myself" ] +if ! [ -e 'rebar.config' ] || ! [ -e "tools/$myself" ] then error "Please call this script from the repository's root directory." exit 2