diff options
| author |  ulfjack <ulfjack@google.com> | 2017-08-04 14:51:04 +0200 |
|---|---|---|
| committer |  Dmitry Lomov <dslomov@google.com> | 2017-08-04 17:19:10 +0200 |
| commit | dba4916861074760d120dcc0f15cc916f8d8520e (patch) | |
| tree | 073a314bc5198f1648d2c47879ed90759a6cd971 /src/main/java/com/google/devtools/build/lib/remote/RemoteModule.java | |
| parent | 025a7b0a33680c53d872d241fdb49f3ab578afd6 (diff) | |
sed: fall back to -r if -E does not work
PiperOrigin-RevId: 164252615
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/remote/RemoteModule.java')
0 files changed, 0 insertions, 0 deletions