diff options
| author | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 14:01:02 -0600 |
|---|---|---|
| committer | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 15:29:58 -0600 |
| commit | fc03a11ebd76a089fc5191ac0fa064e87b17d0ff (patch) | |
| tree | 742b7b6f52f02f8c4ebaf71ff3abfb98cc9ae436 | |
| parent | 7d168038cc4108f97b6347000ffdd9749a12f65a (diff) | |
| download | fpm-fc03a11ebd76a089fc5191ac0fa064e87b17d0ff.tar.gz fpm-fc03a11ebd76a089fc5191ac0fa064e87b17d0ff.zip | |
Recover from `src/` not existing
| -rw-r--r-- | fpm/src/fpm.f90 | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/fpm/src/fpm.f90 b/fpm/src/fpm.f90 index 846082f..bf99641 100644 --- a/fpm/src/fpm.f90 +++ b/fpm/src/fpm.f90 @@ -90,8 +90,10 @@ select case (get_os_type()) error stop end select if (stat /= 0) then - print *, "execute_command_line() failed" - error stop + print *, "execute_command_line() failed, but continuing" + ! Not erroring out here, as sometimes the `dir` might not exist + allocate(files(0)) + return end if open(newunit=u, file="fpm_ls.out", status="old") allocate(files(number_of_rows(u))) |