tools/testing/selftests/rcutorture/formal/srcu-cbmc/Makefile

   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