diff options
Diffstat (limited to 'makefiles')
| -rw-r--r-- | makefiles/gmake/platform.mk | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/makefiles/gmake/platform.mk b/makefiles/gmake/platform.mk index 87dc2d5..480bab2 100644 --- a/makefiles/gmake/platform.mk +++ b/makefiles/gmake/platform.mk @@ -56,3 +56,11 @@ LIBS_DL = -ldl else LIBS_DL = endif + +# for testing, ps with all processes with as many information as possible +ifeq "$(PLATFORM)" "FREEBSD" +PS_ALL = ps aux +else +PS_ALL = ps -alef +endif + |