From b1d935bcc82636b68d1d8bb6995be4f2b7ba8ce8 Mon Sep 17 00:00:00 2001 From: Robert Edgar Date: Thu, 13 Jun 2024 14:57:37 -0700 Subject: [PATCH] Fix build_linux.py, add ls -lh ../bin/usearch12 to confirm for user where binary is --- src/build_linux.py | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/build_linux.py b/src/build_linux.py index 63f02eb..18c8432 100644 --- a/src/build_linux.py +++ b/src/build_linux.py @@ -151,10 +151,12 @@ def Out(s): Out("clean:") Out(" rm -rf $(OBJDIR)/ $(BINPATH)") -rc = os.system("rm -f o/myutils.o ../bin/reseek") +rc = os.system("rm -f o/myutils.o ../bin/usearch12") rc = os.system("make > make.stdout 2> make.stderr") if rc != 0: os.system("tail make.stderr") sys.stderr.write("\n\nERROR -- make failed, see make.stderr\n\n") sys.exit(1) + +rc = os.system("ls -lh ../bin/usearch12")