system/xmlto: contains bashisms but has /bin/sh shebang
|Assignee||A. Wilcox (awilfox)|
|Reported||2019-12-09 16:13:16 -0600|
|Modified||2020-02-16 17:36:57 -0600|
|Hardware||Adélie Linux / All|
|Importance||--- / minor|
Our xmlto package correctly depends on bash, however the script's shebang is #!/bin/sh. On systems with dash as /bin/sh, xmlto will not run, as the script contains bashisms which dash will fail to parse.
A possible fix for this is to patch the xmlto script so that it invokes /bin/bash directly instead of /bin/sh.