Ð¤Ð°Ð¹Ð»Ð¾Ð²Ñ‹Ð¹ Ð¼ÐµÐ½ÐµÐ´Ð¶ÐµÑ€

Ð¤Ð°Ð¹Ð»Ð¾Ð²Ñ‹Ð¹ Ð¼ÐµÐ½ÐµÐ´Ð¶ÐµÑ€ - Ð ÐµÐ´Ð°ÐºÑ‚Ð¸Ñ€Ð¾Ð²Ð°Ñ‚ÑŒ - /usr/src/linux-headers-5.15.0-168/tools/testing/selftests/rcutorture/formal/srcu-cbmc/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

| ver. 1.1 | | . | PHP 8.4.18 | Ð“ÐµÐ½ÐµÑ€Ð°Ñ†Ð¸Ñ ÑÑ‚Ñ€Ð°Ð½Ð¸Ñ†Ñ‹: 0 | proxy | phpinfo | ÐÐ°ÑÑ‚Ñ€Ð¾Ð¹ÐºÐ°