MIRRORS/linux-yocto
1
0
Fork 0
mirror of git://git.yoctoproject.org/linux-yocto.git synced 2025-10-23 07:23:12 +02:00
Code Issues Actions Packages Projects Releases Wiki Activity

Merge branch 'v4.15/standard/base' into v4.15/standard/fsl-mpc8315e-rdb

Browse Source
This commit is contained in:
Bruce Ashfield 2020-01-17 18:21:26 -05:00
commit e832f79c64
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk
View File

@ -1,4 +1,4 @@
#!/usr/usr/bin/awk -f
#!/usr/bin/awk -f
# SPDX-License-Identifier: GPL-2.0
# Modify SRCU for formal verification. The first argument should be srcu.h and