tree 3c6d41645e8e5f5740787a48ef488cc2cabd96a5
parent 3e30ad9b0d8ec230f490088ddd7273e7d592abcf
author David Horstmann <david.horstmann@arm.com> 1634746463 +0100
committer David Horstmann <david.horstmann@arm.com> 1635164164 +0100

Rename DEV_MODE to GEN_FILES

GEN_FILES is a bit clearer as it describes what the setting
does more precisely.

Signed-off-by: David Horstmann <david.horstmann@arm.com>