call abort() only when NDEBUG is not defined

diff --git a/util/opt/util.c b/util/opt/util.c
index ae412b1..71a56ed 100644 (file)
--- a/util/opt/util.c
+++ b/util/opt/util.c
@@ -29,7 +29,9 @@ error(s,a) char *s,*a; {
        fprintf(stderr,": ");
        fprintf(stderr,s,a);
        fprintf(stderr,"\n");
+#ifndef NDEBUG
        abort();
+#endif
        exit(-1);
 }