diff --git a/utils/devtool.rb b/utils/devtool.rb
index 6c0c31af..927d55f7 100755
--- 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