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

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