diff options
| author | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-02-11 23:13:57 +0300 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.ibm.com> | 2019-08-01 18:40:07 +0300 |
| commit | 7455cdd1a0fe9a1367ee99596ea2564031daec00 (patch) | |
| tree | 4e825fea330384ad944b4db0ac0d4a96a286e98d /tools/memory-model/scripts/newlitmushist.sh | |
| parent | 609488bc979f99f805f34e9a32c1e3b71179d10b (diff) | |
| download | linux-7455cdd1a0fe9a1367ee99596ea2564031daec00.tar.xz | |
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/newlitmushist.sh')
| -rwxr-xr-x[-rw-r--r--] | tools/memory-model/scripts/newlitmushist.sh | 0 |
1 files changed, 0 insertions, 0 deletions
diff --git a/tools/memory-model/scripts/newlitmushist.sh b/tools/memory-model/scripts/newlitmushist.sh index 991f8f814881..991f8f814881 100644..100755 --- a/tools/memory-model/scripts/newlitmushist.sh +++ b/tools/memory-model/scripts/newlitmushist.sh |