devtool: Skip Xtra crates on custom crate list

4 years ago · c758875bbe
parent 7b48c3885a
commit c758875bbe
1 changed files with 2 additions and 0 deletions
--- a/utils/devtool.rb
+++ b/utils/devtool.rb
@ -132,6 +132,8 @@ class DevTool
    end

    def make_xtra
+        return if @user_has_supplied_crates
+
        puts 'Make Xtra crates'.light_blue
        system('cd X1_JTAG_boot && bash update.sh')
    end