diff options
author | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-02-11 12:13:57 -0800 |
---|---|---|
committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-08-01 08:40:07 -0700 |
commit | 7455cdd1a0fe9a1367ee99596ea2564031daec00 (patch) | |
tree | 4e825fea330384ad944b4db0ac0d4a96a286e98d /tools/memory-model/scripts/checkghlitmus.sh | |
parent | Linux 5.3-rc2 (diff) | |
download | linux-dev-7455cdd1a0fe9a1367ee99596ea2564031daec00.tar.xz linux-dev-7455cdd1a0fe9a1367ee99596ea2564031daec00.zip |
tools/memory-model: Make scripts be executable
This commit simplifies life a bit by making all of the scripts in
tools/memory-model/scripts be executable.
Signed-off-by: Paul E. McKenney <paulmck@linux.ibm.com>
Diffstat (limited to 'tools/memory-model/scripts/checkghlitmus.sh')
-rwxr-xr-x[-rw-r--r--] | tools/memory-model/scripts/checkghlitmus.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/memory-model/scripts/checkghlitmus.sh b/tools/memory-model/scripts/checkghlitmus.sh index 6589fbb6f653..6589fbb6f653 100644..100755 --- a/tools/memory-model/scripts/checkghlitmus.sh +++ b/tools/memory-model/scripts/checkghlitmus.sh |