| Mike Dodd | 8cfa702 | 2010-11-17 11:12:26 -0800 | [diff] [blame^] | 1 | |
| 2 | SUBDIRS = |
| 3 | |
| 4 | if BUILD_JVMTI_AGENT |
| 5 | SUBDIRS += jvmti |
| 6 | endif |
| 7 | |
| 8 | if BUILD_JVMPI_AGENT |
| 9 | SUBDIRS += jvmpi |
| 10 | endif |
| 11 | |
| 12 | install-exec-hook: |
| 13 | @getent passwd oprofile >/dev/null || ( \ |
| 14 | echo "****************************************************************" ; \ |
| 15 | echo "* WARNING:" ; \ |
| 16 | echo "* Create the 'oprofile' user account to enable profiling of JITed code." ; \ |
| 17 | echo "****************************************************************") ; |
| 18 | @getent group oprofile >/dev/null || ( \ |
| 19 | echo "****************************************************************" ; \ |
| 20 | echo "* WARNING:" ; \ |
| 21 | echo "* Create the 'oprofile' group to enable profiling of JITed code." ; \ |
| 22 | echo "****************************************************************") ; |
| 23 | @test -z `id -gn oprofile 2>/dev/null` || \ |
| 24 | test `id -gn oprofile 2>/dev/null` = "oprofile" || ( \ |
| 25 | echo "****************************************************************" ; \ |
| 26 | echo "* WARNING:" ; \ |
| 27 | echo "* The special user 'oprofile' must have the default group set to 'oprofile'." ; \ |
| 28 | echo "****************************************************************") ; |
| 29 | |
| 30 | |