diff options
author | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 13:55:06 -0600 |
---|---|---|
committer | Ondřej Čertík <ondrej@certik.us> | 2020-07-22 15:29:58 -0600 |
commit | 7d168038cc4108f97b6347000ffdd9749a12f65a (patch) | |
tree | b031eb213a5d03973b284b6405628a3a5ed75ff9 | |
parent | 46a607ad8d74cd021772e900a93b73f9ac9368e1 (diff) | |
download | fpm-7d168038cc4108f97b6347000ffdd9749a12f65a.tar.gz fpm-7d168038cc4108f97b6347000ffdd9749a12f65a.zip |
Add error stop
-rw-r--r-- | fpm/src/fpm.f90 | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fpm/src/fpm.f90 b/fpm/src/fpm.f90 index aabcfd1..846082f 100644 --- a/fpm/src/fpm.f90 +++ b/fpm/src/fpm.f90 @@ -91,6 +91,7 @@ select case (get_os_type()) end select if (stat /= 0) then print *, "execute_command_line() failed" + error stop end if open(newunit=u, file="fpm_ls.out", status="old") allocate(files(number_of_rows(u))) |