mirror of
https://git.rtems.org/rtems-source-builder
synced 2024-10-09 07:15:10 +08:00
@@ -25,10 +25,10 @@
|
||||
from __future__ import print_function
|
||||
|
||||
try:
|
||||
import error
|
||||
import execute
|
||||
import log
|
||||
import options
|
||||
from . import error
|
||||
from . import execute
|
||||
from . import log
|
||||
from . import options
|
||||
except KeyboardInterrupt:
|
||||
print('abort: user terminated', file = sys.stderr)
|
||||
sys.exit(1)
|
||||
|
Reference in New Issue
Block a user