This change has been incorporated in Release 2009b (R2009b). For more information, see the system requirements page below:
For all other distributions of Linux, it may be possible to run PolySpace using the -allow-unsupported-linux flag upon startup. However, PolySpace is only supported under the distributions listed in the page above.
