Commit 80976dea authored by Tim-Philipp Müller's avatar Tim-Philipp Müller 🐠
Browse files

Fix up update-orc-dist target for the case where there are no orc targets

See !168 (comment 561914)

Part-of: <!173>
parent 02995c84
Pipeline #173334 waiting for manual action with stages
in 1 minute and 36 seconds
......@@ -305,6 +305,6 @@ run_target('git-update', command : [update])
run_target('update', command : [update,
if orc_subproject.found()
if orc_subproject.found() and orc_update_targets.length() > 0
alias_target('update-orc-dist', orc_update_targets)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment