search

gramineproject / graphene

Graphene / Graphene-SGX - a library OS for Linux multi-process applications, with Intel SGX support
https://grapheneproject.io
GNU Lesser General Public License v3.0
771 stars 260 forks source link

[Pal/Linux-SGX] Fix building with DEBUGOPT=1 #2476

Closed mkow closed 3 years ago

mkow commented 3 years ago

Description of the changes

Fixes #2456.

How to test this PR?

Build with SGX=1 DEBUGOPT=1 and test if profiling works.

This change is Reviewable