diff --git a/util/opt/util.c b/util/opt/util.c
index ae412b179..71a56edca 100644
--- 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);
 }