Merge branch 'master' into typed

This commit is contained in:
Martin Puppe 2020-12-02 17:22:29 +01:00
commit f0a2816a04

View file

@ -209,7 +209,11 @@ EOF
(handle-stdin stdin phase-channel basedir files)))]) (handle-stdin stdin phase-channel basedir files)))])
(thread-wait stderr-thread) (thread-wait stderr-thread)
(thread-wait stdin-thread)))) (thread-wait stdin-thread))
(subprocess-wait sp)
(let ([status (subprocess-status sp)])
(unless (equal? status 0)
(exit 1)))))
(void)) (void))