Docker: Switch manual to pdbg (#5074)

This commit is contained in:
Ole Schütt 2026-04-18 21:57:16 +02:00 committed by GitHub
parent 30e889138e
commit 8b341f7d8e
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
3 changed files with 4 additions and 4 deletions

View file

@ -27,8 +27,8 @@ echo -e "\n========== Generating Manual =========="
mkdir -p /workspace/artifacts/manual
cd /workspace/artifacts/manual
/opt/cp2k/build/bin/cp2k.psmp --version
/opt/cp2k/build/bin/cp2k.psmp --xml
/opt/cp2k/build/bin/cp2k.pdbg --version
/opt/cp2k/build/bin/cp2k.pdbg --xml
set +e # disable error trapping for remainder of script
(