diff options
| author | Paul E. McKenney <[email protected]> | 2019-02-11 12:13:57 -0800 |
|---|---|---|
| committer | Paul E. McKenney <[email protected]> | 2019-08-01 08:40:07 -0700 |
| commit | 7455cdd1a0fe9a1367ee99596ea2564031daec00 (patch) | |
| tree | 4e825fea330384ad944b4db0ac0d4a96a286e98d /lib/mpi/mpi-mod.c | |
| parent | 609488bc979f99f805f34e9a32c1e3b71179d10b (diff) | |
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 <[email protected]>
Diffstat (limited to 'lib/mpi/mpi-mod.c')
0 files changed, 0 insertions, 0 deletions