diff options
| author |   Bruce Ashfield <bruce.ashfield@gmail.com> | 2020-01-17 18:19:38 -0500 |
|---|---|---|
| committer | Bruce Ashfield <bruce.ashfield@gmail.com> | 2020-01-17 18:19:38 -0500 |
| commit | 4866938af88164091164818f47ab51c1a85e16b7 (patch) | |
| tree | ba7b2b6e2fded27ce504a880dd215ae329363387 | |
| parent | 5c63ee0ede463596029f3a3a5859bf7efb113439 (diff) | |
| parent | a7a3a30361afc4bdbf865a77f7fc5b0a43b1fcad (diff) | |
| download | linux-yocto-v4.18/standard/fsl-mpc8315e-rdb.tar.gz linux-yocto-v4.18/standard/fsl-mpc8315e-rdb.tar.bz2 linux-yocto-v4.18/standard/fsl-mpc8315e-rdb.zip | |
Merge branch 'v4.18/standard/base' into v4.18/standard/fsl-mpc8315e-rdbv4.18/standard/fsl-mpc8315e-rdb
| -rw-r--r-- | tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk index 6798ab45032d..e05182d3e47d 100644 --- a/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk +++ b/tools/testing/selftests/rcutorture/formal/srcu-cbmc/modify_srcu.awk @@ -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 |