[ SYSTEM ]: Linux srv.persadacompanies.com 4.18.0-553.56.1.el8_10.x86_64 #1 SMP Tue Jun 10 05:00:59 EDT 2025 x86_64
[ SERVER ]: Apache | PHP: 8.4.20
[ USER ]: persadamedika | IP: 45.64.1.108
GEFORCE FILE MANAGER
/
usr
/
src
/
kernels
/
4.18.0-553.63.1.el8_10.x86_64
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
UPLOAD:
NAME
SIZE
QUICK PERMS
ACTIONS
📁 tests
SET
[ DEL ]
📄 Makefile
462 B
SET
[ EDIT ]
|
[ DEL ]
DELETE SELECTED
[ CLOSE ]
EDIT: Makefile
# SPDX-License-Identifier: GPL-2.0 all: srcu.c store_buffering LINUX_SOURCE = ../../../../../.. modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ $(LINUX_SOURCE)/kernel/rcu/srcu.c modified_srcu_output = include/linux/srcu.h srcu.c include/linux/srcu.h: srcu.c srcu.c: modify_srcu.awk Makefile $(modified_srcu_input) awk -f modify_srcu.awk $(modified_srcu_input) $(modified_srcu_output) store_buffering: @cd tests/store_buffering; make