Changeset 789b8c in git

Timestamp:

Jan 24, 2018, 3:37:04 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', '4a9821a93ffdc22a6696668bd4f6b8c9de3e6c5f')

Children:

114559bb28542e398795278b38f255dd169a0d1d

Parents:

11c75cc3bb6e273a68202344e3e2081ebc7111fe

Message:

add: report use of omalloc/xalloc with -v

File:

• Singular/misc_ip.cc (modified) (1 diff)

Singular/misc_ip.cc

@@ -823 +823 @@
 #endif
               StringAppendS("factory(" FACTORYVERSION "),\n\t");
+#ifdef XMEMORY_H
+              StringAppendS("xalloc,");
+#else
+              StringAppendS("omalloc,");
+#endif
 #if defined(HAVE_DYN_RL)
               if (fe_fgets_stdin==fe_fgets_dummy)