diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2023-03-12 15:48:48 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2023-03-12 15:48:48 -0700 |
| commit | 3626724817e0d97e376d11c3f005ebdb8ea191f7 (patch) | |
| tree | b8a21c8ae69a7b1e91fdfd93a2ec0a14b071bf47 /linux | |
| parent | c454777a9359ab356fe6bf752972fec2c0adc5bf (diff) | |
Cirrus: Use bash to run linux build script.
Needed for pushd, popd.
Diffstat (limited to 'linux')
0 files changed, 0 insertions, 0 deletions