diff options
author | Vincenzo Frascino <[email protected]> | 2019-10-03 18:48:36 +0100 |
---|---|---|
committer | Will Deacon <[email protected]> | 2019-10-07 11:07:17 +0100 |
commit | a7f93103f86e2bbc5646831707d2fa565315004d (patch) | |
tree | c6fbeaa6a6cecd89dff1822fed91d5ba0e6447fb /tools/perf/scripts/python/export-to-sqlite.py | |
parent | 0df2c90eba60791148cee1823c0bf5fc66e3465c (diff) |
arm64: vdso32: Remove jump label config option in Makefile
The jump labels are not used in vdso32 since it is not possible to run
runtime patching on them.
Remove the configuration option from the Makefile.
Cc: Will Deacon <[email protected]>
Cc: Catalin Marinas <[email protected]>
Signed-off-by: Vincenzo Frascino <[email protected]>
Acked-by: Catalin Marinas <[email protected]>
Tested-by: Catalin Marinas <[email protected]>
Signed-off-by: Will Deacon <[email protected]>
Diffstat (limited to 'tools/perf/scripts/python/export-to-sqlite.py')
0 files changed, 0 insertions, 0 deletions