diff options
author | urbanjost <urbanjost@comcast.net> | 2021-07-10 12:48:00 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-07-10 12:48:00 -0400 |
commit | 55a7efe2bc7a2b25b352897b508c39bece111d51 (patch) | |
tree | 2c4b5fac4aaf66de1062960c937b041c572d3031 /src/fpm_environment.f90 | |
parent | 8b3b3f088700ce0270932762855978f2fec1584c (diff) | |
download | fpm-55a7efe2bc7a2b25b352897b508c39bece111d51.tar.gz fpm-55a7efe2bc7a2b25b352897b508c39bece111d51.zip |
Update src/fpm_environment.f90
Co-authored-by: Sebastian Ehlert <28669218+awvwgk@users.noreply.github.com>
Diffstat (limited to 'src/fpm_environment.f90')
-rw-r--r-- | src/fpm_environment.f90 | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/fpm_environment.f90 b/src/fpm_environment.f90 index 8f6a284..414c766 100644 --- a/src/fpm_environment.f90 +++ b/src/fpm_environment.f90 @@ -158,7 +158,7 @@ contains else if (stat /= 0) then print *, 'Command failed' - stop + stop 1 end if end if |