Skip to content

Commit

Permalink
Update configure.py (#1)
Browse files Browse the repository at this point in the history
  • Loading branch information
rpetit3 authored Sep 27, 2022
1 parent ccc94c5 commit 8e35db6
Showing 1 changed file with 4 additions and 2 deletions.
6 changes: 4 additions & 2 deletions modules/configure.py
Original file line number Diff line number Diff line change
Expand Up @@ -399,8 +399,10 @@ def configure(args) :
args = add_args(args)

for key, value in args.__dict__.items() :
if value is not None :
configs[configs.T[0] == key, 1] = value
# Allow multiple --path
if key != 'path':
if value is not None :
configs[configs.T[0] == key, 1] = value
externals = prepare_externals(conf=configs)
if args.install :
install_externals()
Expand Down

0 comments on commit 8e35db6

Please sign in to comment.