1 all: srcu.c store_buffering 2 3 LINUX_SOURCE = ../../../../../.. 4 5 modified_srcu_input = $(LINUX_SOURCE)/include/linux/srcu.h \ 6 $(LINUX_SOURCE)/kernel/rcu/srcu.c 7 8 modified_srcu_output = include/linux/srcu.h srcu.c 9 10 include/linux/srcu.h: srcu.c 11 12 srcu.c: modify_srcu.awk Makefile $(modified_srcu_input) 13 awk -f modify_srcu.awk $(modified_srcu_input) $(modified_srcu_output) 14 15 store_buffering: 16 @cd tests/store_buffering; make 17