Remove duplicate command

This commit is contained in:
Manuel Thalmann 2023-03-25 14:04:07 +01:00
parent 8d77543c25
commit d64491e574

View file

@ -68,7 +68,6 @@ RUN \
# Branch "end": exit with code 0 # Branch "end": exit with code 0
-e ":end q;")"; \ -e ":end q;")"; \
exitCode="$?"; \ exitCode="$?"; \
exitCode=$?; \
# Kill installer if it got stuck (according to console output) # Kill installer if it got stuck (according to console output)
[ "$exitCode" -eq 42 ] && pkill -9 MDK537.exe; \ [ "$exitCode" -eq 42 ] && pkill -9 MDK537.exe; \
# Use `sed`s exit code if non-zero # Use `sed`s exit code if non-zero