lib/scripts/polyml-platform
author wenzelm
Mon Apr 19 10:56:26 2010 +0200 (2010-04-19)
changeset 36201 07d4f74abd12
parent 29145 b1c6f4563df7
permissions -rwxr-xr-x
polyml-platform script is superseded by ISABELLE_PLATFORM;
     1 #!/usr/bin/env bash
     2 
     3 echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
     4 echo "$ISABELLE_PLATFORM"