diff options
Diffstat (limited to 'tool/downloader.rb')
| -rw-r--r-- | tool/downloader.rb | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tool/downloader.rb b/tool/downloader.rb index a0ef8150b2..e884056d47 100644 --- a/tool/downloader.rb +++ b/tool/downloader.rb @@ -85,6 +85,7 @@ class Downloader INDEX[:index] = IO.read index_file end file_base = File.basename(name, '.txt') + return if file_base == '.' # Use pre-generated headers and tables beta_name = INDEX[:index][/#{Regexp.quote(file_base)}(-[0-9.]+d\d+)?\.txt/] # make sure we always check for new versions of files, # because they can easily change in the beta period |