mirror of https://github.com/ARMmbed/mbed-os.git
Reverted the my change on argument parsing
parent
f8af872870
commit
c1f2691ded
|
@ -638,7 +638,7 @@ def main():
|
|||
sys.exit(1)
|
||||
|
||||
|
||||
args, remainder = parser.parse_known_args()
|
||||
args = parser.parse_args()
|
||||
|
||||
global DETAILED
|
||||
DETAILED = args.detailed
|
||||
|
|
Loading…
Reference in New Issue