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