diff options
| author | Gaëtan Gilbert | 2020-05-10 14:10:58 +0200 |
|---|---|---|
| committer | Emilio Jesus Gallego Arias | 2020-05-17 13:22:06 +0200 |
| commit | d70eded945de983e83eab35000c343dfbfd8a94d (patch) | |
| tree | 346fa1d1c29b865f71f55e64146f7e3d318d241d /dev/ci | |
| parent | b9591f15d75886456ff28984934de73d6a516af5 (diff) | |
test-suite: fix bug causing unit tests to be skipped
Since `ocaml_pwd.ml` was added this unquoted glob would be expanded by
the shell before being passed to `find`.
Diffstat (limited to 'dev/ci')
0 files changed, 0 insertions, 0 deletions