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;
wenzelm@16994
     1
#!/usr/bin/env bash
wenzelm@16994
     2
wenzelm@36201
     3
echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2
wenzelm@36201
     4
echo "$ISABELLE_PLATFORM"