/
usr
/
src
/
linux-headers-5.15.0-190
/
tools
/
testing
/
selftests
/
rcutorture
/
formal
/
srcu-cbmc
/
/usr/src/linux-headers-5.15.0-190/tools/testing/selftests/rcutorture/formal/srcu-cbmc
mkdir
upload
Name
Size
Mode
Actions
tests/
-
0755
rm
Makefile
462
0644
edit
dl
rm
Edit:
/usr/src/linux-headers-5.15.0-190/tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile
(462B)
# 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
Save
cmd:
run