Changeset a75617 in git

Timestamp:

Jun 26, 2018, 12:11:35 PM (6 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

f2c5af9818493e0f0e67d0b04f50bef4838787ed

Parents:

ec4c63684b1fab2fba6e1fb9b8e21b44a7e803a0

Message:

fix factory: move default switches to factory/cf_switches.cc

Files:

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

Singular/misc_ip.cc

@@ -1310 +1310 @@
 {
 // factory default settings: -----------------------------------------------
-  On(SW_USE_EZGCD);
-  On(SW_USE_CHINREM_GCD);
-  //On(SW_USE_FF_MOD_GCD);
-  On(SW_USE_EZGCD_P);
-  On(SW_USE_QGCD);
-  Off(SW_USE_NTL_SORT); // may be changed by an command line option
+  //Off(SW_USE_NTL_SORT); // may be changed by an command line option
   factoryError=WerrorS;
 

factory/cf_switches.cc

@@ -35 +35 @@
 #endif
   On(SW_USE_EZGCD);
-  //On(SW_USE_EZGCD_P); // still testing
+  On(SW_USE_EZGCD_P);
   On(SW_USE_QGCD);
 }