summaryrefslogtreecommitdiff
path: root/support/dktools/dk4aopt07.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/dk4aopt07.ctr
parentac690ca29ad5bf8a5203a65fd6252f7b564f4727 (diff)
CTAN sync 202009200303
Diffstat (limited to 'support/dktools/dk4aopt07.ctr')
-rw-r--r--support/dktools/dk4aopt07.ctr12
1 files changed, 11 insertions, 1 deletions
diff --git a/support/dktools/dk4aopt07.ctr b/support/dktools/dk4aopt07.ctr
index 8685316131..19c835be54 100644
--- a/support/dktools/dk4aopt07.ctr
+++ b/support/dktools/dk4aopt07.ctr
@@ -2,7 +2,7 @@
copyright owner = Dirk Krause
copyright year = 2015-xxxx
-license = bsd
+SPDX-License-Identifier: BSD-3-Clause
@@ -11,6 +11,12 @@ license = bsd
#include "dk4opt.h"
#include "dk4aopt.h"
+#if DK4_HAVE_ASSERT_H
+#ifndef ASSERT_H_INCLUDED
+#include <assert.h>
+#define ASSERT_H_INCLUDED 1
+#endif
+#endif
int
@@ -18,6 +24,10 @@ dk4app_opt_get_int_short(dk4_im_t *rp, dk4_app_t *app, dkChar c, dk4_er_t *erp)
{
dk4_option_t *optr;
int back = 0;
+#if DK4_USE_ASSERT
+ assert(NULL != app);
+ assert(NULL != rp);
+#endif
if ((NULL != rp) && (NULL != app)) {
if (NULL != app->i_opt_short) {
optr = (dk4_option_t *)dk4sto_it_find_like(app->i_opt_short, &c, 1);