diff options
| author | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-01-25 16:20:36 -0500 |
|---|---|---|
| committer | Bjoern B. Brandenburg <bbb@cs.unc.edu> | 2011-01-25 16:20:36 -0500 |
| commit | 53d9a93a623d0edc662b6d00b3dea247a3f9224b (patch) | |
| tree | 076b0c8a3f6b9ddc8ee058b98febcb5366b66600 /showsched | |
| parent | 34263b39b9cdf08c33a4e920eef7b0fc78f02759 (diff) | |
fix header detection on ARM2011.1
The ARM port uses <litmus... instead of "litmus..., so let's use egrep
with a proper regular expression to reliably find the line that includes
the Litmus system calls.
Diffstat (limited to 'showsched')
0 files changed, 0 insertions, 0 deletions