3551: Use FileUtils.rm_r so deleting stale generated/{dir} works.

diff --git a/docker/build_tools/config.rb b/docker/build_tools/config.rb
index cee72cf85b49bcca03af6c7fabc1338a49dadce8..24d6ccb09864b1f42e84dd14925179ac4aa2c938 100755 (executable)
--- a/docker/build_tools/config.rb
+++ b/docker/build_tools/config.rb
@@ -40,9 +40,7 @@ else
   globdir = '*'
 end
 
-Dir.glob(globdir + '/generated/*') do |stale_file|
-  File.delete(stale_file)
-end
+FileUtils.rm_r Dir.glob(globdir + '/generated/*')
 
 File.umask(022)
 Dir.glob(globdir + '/*.in') do |template_file|