purge some ENABLE_CODEGENS, use WITH_CODEGENS instead

diff --git a/config.h.old b/config.h.old
index 7834ef5d879c970a4cb08699e1eb912f13c6a81c..03f668f090fc2be2ba326a91617fa2f47a9a88cd 100644 (file)
--- a/config.h.old
+++ b/config.h.old
@@ -122,8 +122,8 @@
 /*******************************************************************/
 /* The following usually aren't changed.                           */
 /*******************************************************************/
-/* Set to 0 if you don't want the old codegens */
-#define ENABLE_CODEGENS 1
+/* Define if you want the old codegens */
+#define WITH_CODEGENS 1
 
 /* Define if you don't want on-demand plugin loading */
 #define DISABLE_LTDL 1