diff options
author | Ondřej Čertík <ondrej@certik.us> | 2020-01-15 23:50:37 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-01-15 23:50:37 -0700 |
commit | 2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8 (patch) | |
tree | e71b092a30313bc1124ec151e7dada38049c86bd /tests/1/a.f90 | |
parent | c08b52b764ea3cc5e4c6853529aedaccff62e8e7 (diff) | |
parent | a9b2a4aaf145a55c54642d4592d92c739e3a4b0f (diff) | |
download | fpm-2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8.tar.gz fpm-2d50ae9f8346d3d2f1516d8cbaf7c367aff1d2f8.zip |
Merge pull request #18 from certik/success
Better reporting on terminated processes
Diffstat (limited to 'tests/1/a.f90')
0 files changed, 0 insertions, 0 deletions