2017-06-25 21:31:13 +08:00
|
|
|
--- a/src/include/fe_utils/print.h
|
|
|
|
|
+++ b/src/include/fe_utils/print.h
|
|
|
|
|
@@ -17,11 +17,7 @@
|
2014-07-02 18:42:28 +08:00
|
|
|
|
2017-06-25 21:31:13 +08:00
|
|
|
|
|
|
|
|
/* This is not a particularly great place for this ... */
|
2014-07-02 18:42:28 +08:00
|
|
|
-#ifndef __CYGWIN__
|
|
|
|
|
-#define DEFAULT_PAGER "more"
|
|
|
|
|
-#else
|
|
|
|
|
#define DEFAULT_PAGER "less"
|
|
|
|
|
-#endif
|
|
|
|
|
|
2017-06-25 21:31:13 +08:00
|
|
|
enum printFormat
|
|
|
|
|
{
|
