•  
      request #23380 Explicitly define the shell to use in Makefiles
    Infos
    #23380
    Thomas Gerbet (tgerbet)
    2021-09-29 14:35
    2021-09-24 14:06
    24930
    Details
    Explicitly define the shell to use in Makefiles

    Most of the Makefiles in the code base does not explicitly set the shell to use. This can lead to different behaviors depending on what /bin/sh links. For example the Makefile at root contains some commands that only exist in bash so if the local /bin/sh implementation is dash the developer might encounter some unexpected failures.

    Dev tools
    Empty
    Empty
    • [ ] enhancement
    • [ ] internal improvement
    Empty
    Stage
    Thomas Gerbet (tgerbet)
    Closed
    2021-09-29
    Attachments
    Empty
    References

    Follow-ups