From 0426ec20947e7b5d4f96a62ead68f3509cbcd634 Mon Sep 17 00:00:00 2001 From: Jonathan Wakely Date: Sat, 2 Nov 2024 13:36:36 +0000 Subject: [PATCH] Update bin/build_pgms.sh to just use make There's no good reason why this script is needed to build with -DNDEBUG and without -g. The performance of the programs is more than adequate even with assert(std::is_sorted(...)) checks in them. Just make this script use 'make clean pgms' so that it doesn't need to be maintained to add new source files, so that the .o files can be reused for multiple programs, and so that it shares the same build flags as the makefile. --- bin/build_pgms.sh | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/bin/build_pgms.sh b/bin/build_pgms.sh index 7e51d634af..9d3731a909 100755 --- a/bin/build_pgms.sh +++ b/bin/build_pgms.sh @@ -1,7 +1,2 @@ #!/bin/sh -echo '"Use -m32 switch to force 32-bit build"' -${CXX:-g++} $* -std=c++17 -Wall -DNDEBUG -O2 -o bin/lists src/date.cpp src/issues.cpp src/status.cpp src/sections.cpp src/mailing_info.cpp src/report_generator.cpp src/metadata.cpp src/lists.cpp -${CXX:-g++} $* -std=c++17 -Wall -o bin/section_data src/section_data.cpp -${CXX:-g++} $* -std=c++17 -Wall -o bin/toc_diff src/toc_diff.cpp -${CXX:-g++} $* -std=c++17 -Wall -DNDEBUG -O2 -o bin/list_issues src/date.cpp src/issues.cpp src/status.cpp src/sections.cpp src/metadata.cpp src/list_issues.cpp -${CXX:-g++} $* -std=c++17 -Wall -DNDEBUG -O2 -o bin/set_status src/set_status.cpp src/status.cpp +make -C $(dirname $0)/.. clean pgms