Changeset f0cdd1c in git for libpolys/polys/pDebug.cc

Timestamp:

Feb 24, 2023, 3:59:44 PM (14 months ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

9b6c6b6101110e1f2527f1749b34f5eb9ba752de

Parents:

ceacc4c876439e86dad527ff220f8ba563605a4a

Message:

fix: debig build with MAKE_DISTRIBUTION

File:

• libpolys/polys/pDebug.cc (modified) (2 diffs)

libpolys/polys/pDebug.cc

@@ -20 +20 @@
 
 #include "misc/auxiliary.h"
+#include "misc/distrib.h"
 
 
@@ -59 +60 @@
     omPrintAddrInfo(stderr, p, " ");
   }
+  #ifndef MAKE_DISTRIBUTION
   dErrorBreak();
+  #endif
   d_poly_error_reporting = FALSE;
   return FALSE;