mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
@@ -42,8 +42,7 @@ except KeyboardInterrupt:
|
||||
print('abort: user terminated', file = sys.stderr)
|
||||
sys.exit(1)
|
||||
except:
|
||||
print('error: unknown application load error', file = sys.stderr)
|
||||
sys.exit(1)
|
||||
raise
|
||||
|
||||
#
|
||||
# Define host profiles so it can simulated on another host.
|
||||
|
Reference in New Issue
Block a user