diff options
| author | Sergey Poznyakoff <gray@gnu.org> | 2018-05-17 16:48:38 +0300 |
|---|---|---|
| committer | Sergey Poznyakoff <gray@gnu.org> | 2018-05-17 16:48:38 +0300 |
| commit | 6627f1c1d8acc2d53a9502a096123c0163bf731a (patch) | |
| tree | 4f368be7c37b7dd685e5b6e12b88769c6c08cd8b | |
| parent | 6f6211b261abdd0c342a108f8766ddc613da034a (diff) | |
| download | genrc-6627f1c1d8acc2d53a9502a096123c0163bf731a.tar.gz genrc-6627f1c1d8acc2d53a9502a096123c0163bf731a.tar.bz2 | |
Select default PID source as suggested in the docs.
| -rw-r--r-- | configure.ac | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configure.ac b/configure.ac index 8cf75a7..5d36092 100644 --- a/configure.ac +++ b/configure.ac @@ -44,2 +44,10 @@ AM_CONDITIONAL([COND_PCRE], +if test -f /proc/$$/cmdline; then + DEFAULT_PID_SOURCE='"PROC"' +else + DEFAULT_PID_SOURCE='"PS"' +fi +AC_DEFINE_UNQUOTED(DEFAULT_PID_SOURCE,$DEFAULT_PID_SOURCE, + [Default PID source]) + AC_CONFIG_FILES([Makefile |