diff options
| author | Davi Antônio da Silva Santos <antoniossdavi@gmail.com> | 2023-03-02 02:33:37 +0000 |
|---|---|---|
| committer | Davi Antônio da Silva Santos <antoniossdavi@gmail.com> | 2023-03-04 01:24:15 +0000 |
| commit | f7f89a2ece36fd4a9d7b0a69e563832fff318035 (patch) | |
| tree | 0ab3521b81a66b0455944a928385f7aa1a41bb39 /src/admin/runedit.php | |
| parent | cbe0038d2a7eaa08ad8acac4f21da1a72d1acda9 (diff) | |
| download | boca-f7f89a2ece36fd4a9d7b0a69e563832fff318035.tar.gz boca-f7f89a2ece36fd4a9d7b0a69e563832fff318035.zip | |
Populate dbgsym packages with debug symbols
Generate debug symbols by adding the `-g` flag to the `gcc` command and
populate the dbgsym packages generated by the tooling with the required
debug symbols.
This fixes the following Lintian warnings:
* boca-autojudge-dbgsym: debug-file-with-no-debug-symbols
* boca-submission-tools-dbgsym: debug-file-with-no-debug-symbols
Diffstat (limited to 'src/admin/runedit.php')
0 files changed, 0 insertions, 0 deletions