Skip to content
Jump to bottom

build.sh: Let script cmd return exit code #77

Merged
merged 1 commit into from
Aug 1, 2019
Merged

build.sh: Let script cmd return exit code #77

merged 1 commit into from
Aug 1, 2019
+1 −1

Commits on Aug 1, 2019

  1. build.sh: Let script cmd return exit code 

    'script -e' returns the exit code of the child process.

This yields again to the intended behaviour (Closes #72).
    @thomas
    thomas committed Aug 1, 2019
    Configuration menu
    Copy the full SHA
    3555f8a View commit details
    Browse the repository at this point in the history