diff options
author | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
---|---|---|
committer | Norbert Preining <norbert@preining.info> | 2020-09-20 03:03:26 +0000 |
commit | 1f457376b478257b88d4a857f5ec1b6155442dd7 (patch) | |
tree | 2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dk3dir.ctr | |
parent | ac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff) |
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk3dir.ctr')
-rw-r--r-- | support/dktools/dk3dir.ctr | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/support/dktools/dk3dir.ctr b/support/dktools/dk3dir.ctr index 18b2b1d5f3..f50e8c90d8 100644 --- a/support/dktools/dk3dir.ctr +++ b/support/dktools/dk3dir.ctr @@ -2,7 +2,7 @@ copyright owner = Dirk Krause copyright year = 2011-xxxx -license = bsd +SPDX-License-Identifier: BSD-3-Clause @@ -123,6 +123,7 @@ dk3dir_remove_app(dkChar const *dn, dk3_app_t *app); %% module #include "dk3all.h" +#include "dk3unused.h" @@ -164,9 +165,11 @@ NULL */ static int -dk3dir_compare_by_name(void const *l, void const *r, int cr) +dk3dir_compare_by_name(void const *l, void const *r, int DK3_ARG_UNUSED(cr) ) { int back = 0; + + DK3_UNUSED_ARG(cr) if(l) { if(r) { #if DK3_ON_WINDOWS || DK3_HAVE_FNCASEINS |