summaryrefslogtreecommitdiff
path: root/support/dktools/dk3dir.ctr
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
committerNorbert Preining <norbert@preining.info>2020-09-20 03:03:26 +0000
commit1f457376b478257b88d4a857f5ec1b6155442dd7 (patch)
tree2a06a60551dea362cf8cb0cb0ba66c78608717c4 /support/dktools/dk3dir.ctr
parentac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff)
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk3dir.ctr')
-rw-r--r--support/dktools/dk3dir.ctr7
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