lib/scripts/polyml-platform
author wenzelm
Thu May 20 20:20:52 2010 +0200 (2010-05-20)
changeset 37012 106c56e916f8
parent 36201 07d4f74abd12
permissions -rwxr-xr-x
enable shell script editor mode;
     1 #!/usr/bin/env bash
     2 
     3 echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
     4 echo "$ISABELLE_PLATFORM"