diff --git a/build/pdp10-ka/start b/build/pdp10-ka/start index 53daea7d..c346fb52 100755 --- a/build/pdp10-ka/start +++ b/build/pdp10-ka/start @@ -38,8 +38,25 @@ type340() { cp build/pdp10-ka/run out/pdp10-ka/run } +help() { + cat < out/pdp10-ka/run +test -f out/pdp10-ka/nohelp || help + while test -n "$1"; do "$1" shift