[Scummvm-tracker] [ScummVM] #9133: Tools: workaround for make 3.80 bug

[David Turner]

#9133: Tools: workaround for make 3.80 bug
-----------------------+--------------------
  Reporter:  criezy    |      Owner:  sev-
      Type:  patch     |     Status:  closed
  Priority:  normal    |  Component:  Tools
Resolution:  outdated  |   Keywords:
      Game:            |
-----------------------+--------------------
Changes (by digitall):

 * component:   => Tools


--
Ticket URL: <https://bugs.scummvm.org/ticket/9133#comment:8>
ScummVM <https://bugs.scummvm.org>
ScummVM