formula: widen type for system args

We can pass Integers here too, for e.g. make flags

```
TypeError: Parameter 'args': Expected type T.any(Pathname, String), got type Integer with value 4
Caller: /usr/local/Homebrew/Library/Taps/homebrew/homebrew-core/Formula/pypy.rb:68
Definition: /usr/local/Homebrew/Library/Homebrew/formula.rb:1985
```
This commit is contained in:
Jonathan Chang 2020-11-28 22:59:14 +11:00 committed by Markus Reiter
parent 58f279c72a
commit 0d058666d8

View File

@ -1982,7 +1982,7 @@ class Formula
#
# # If there is a "make install" available, please use it!
# system "make", "install"</pre>
sig { params(cmd: T.any(String, Pathname), args: T.any(String, Pathname)).void }
sig { params(cmd: T.any(String, Pathname), args: T.any(String, Pathname, Integer)).void }
def system(cmd, *args)
verbose_using_dots = Homebrew::EnvConfig.verbose_using_dots?