diff options
Diffstat (limited to 'src/util/00-mesa-defaults.conf')
| -rw-r--r-- | src/util/00-mesa-defaults.conf | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/util/00-mesa-defaults.conf b/src/util/00-mesa-defaults.conf index 72c415abef8..d078b938021 100644 --- a/src/util/00-mesa-defaults.conf +++ b/src/util/00-mesa-defaults.conf @@ -34,7 +34,8 @@ TODO: document the other workarounds. <!ATTLIST device driver CDATA #IMPLIED> <!ELEMENT application (option+)> <!ATTLIST application name CDATA #REQUIRED - executable CDATA #REQUIRED> + executable CDATA #REQUIRED + sha1 CDATA #IMPLIED> <!ELEMENT engine (option+)> <!-- engine_name_match: A regexp matching the engine name --> |