diff options
Diffstat (limited to 'tool/compile_prelude.rb')
| -rwxr-xr-x | tool/compile_prelude.rb | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tool/compile_prelude.rb b/tool/compile_prelude.rb index 88b7d69f11..17b00f955a 100755 --- a/tool/compile_prelude.rb +++ b/tool/compile_prelude.rb @@ -51,8 +51,8 @@ lines_list = preludes.map {|filename| "nil" end } - if /require\s*(\(?)\s*(["'])(.*?)\2\s*\1/ =~ line - orig, path = $&, $3 + if /require\s*\(?\s*(["'])(.*?)\1\s*\)?/ =~ line + orig, path = $&, $2 srcdir = File.expand_path("../..", __FILE__) path = File.expand_path(path, srcdir) if File.exist?(path) |