changeset 55438 | 3b95e70c5cb3 |
parent 55391 | eae296b5ef33 |
child 58780 | 1f8c0da85664 |
--- a/Admin/PLATFORMS Wed Feb 12 13:33:05 2014 +0100 +++ b/Admin/PLATFORMS Wed Feb 12 13:53:11 2014 +0100 @@ -122,3 +122,6 @@ identifies the JVM platform. Since a particular Java version is always bundled with Isabelle, the resulting settings also provide some clues about its platform, without running it. + +* Common Unix tools like /bin/sh, /bin/kill, sed, ulimit are + notoriously non-portable an should be avoided. \ No newline at end of file