Comment 9 for bug 1761379

------- Comment From <email address hidden> 2018-10-10 17:08 EDT-------
Hi Joseph,

It looks like 'perf' binary is missing in linux-tools-common in the pointed out packages:

root@gromero16:~/perf/lp1761379# dpkg -c linux-tools-common_4.15.0-34.38~lp1761379_all.deb
drwxr-xr-x root/root 0 2018-08-27 10:45 ./
drwxr-xr-x root/root 0 2018-08-27 10:45 ./usr/
drwxr-xr-x root/root 0 2018-08-27 10:45 ./usr/share/
drwxr-xr-x root/root 0 2018-08-27 10:45 ./usr/share/doc/
drwxr-xr-x root/root 0 2018-08-27 10:45 ./usr/share/doc/linux-tools-common/
-rw-r--r-- root/root 133835 2018-08-27 10:45 ./usr/share/doc/linux-tools-common/changelog.Debian.gz
-rw-r--r-- root/root 1292 2018-08-27 10:45 ./usr/share/doc/linux-tools-common/copyright
root@gromero16:~/perf/lp1761379#

I also could not find it and any jvmti.so in the remaining packages.

Would you mind to check that please?

Thank you.