Merge pull request #250179 from Ma27/linux-rt-fix
linux: make main update script slightly more robust
authored by Maximilian Bosch and committed by GitHub 2 years ago 3ff88c2e 14a82b50