| author | blanchet |
| Thu, 28 Oct 2010 09:40:57 +0200 | |
| changeset 40225 | 2de5dd0cd3a2 |
| parent 36201 | 07d4f74abd12 |
| permissions | -rwxr-xr-x |
|
16994
a69d0496a724
determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff
changeset
|
1 |
#!/usr/bin/env bash |
|
a69d0496a724
determine Poly/ML's idea of current hardware and operating system type;
wenzelm
parents:
diff
changeset
|
2 |
|
|
36201
07d4f74abd12
polyml-platform script is superseded by ISABELLE_PLATFORM;
wenzelm
parents:
29145
diff
changeset
|
3 |
echo "### Legacy feature: polyml-platform script is superseded by ISABELLE_PLATFORM" >&2 |
|
07d4f74abd12
polyml-platform script is superseded by ISABELLE_PLATFORM;
wenzelm
parents:
29145
diff
changeset
|
4 |
echo "$ISABELLE_PLATFORM" |