-
Anthony Mallet authored
PAL distributions are vanilla Ubuntu, with a few custom packages in /opt/pal. The OS_VERSION is set to the Ubuntu version suffixed with .PAL. Adapt the few locations where a test on OS_VERSION == 16.04 or 18.04 is made, to include 16.04% or 18.04% and match the .PAL suffix.
03da6f17