diff options
Diffstat (limited to 'unix/hlib/allocate.cl')
| -rw-r--r-- | unix/hlib/allocate.cl | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/unix/hlib/allocate.cl b/unix/hlib/allocate.cl new file mode 100644 index 00000000..1c8a6308 --- /dev/null +++ b/unix/hlib/allocate.cl @@ -0,0 +1,11 @@ +# ALLOCATE -- Allocate a device. The real work is done by the hidden CL +# _allocate task, but we provide a script interface as well to provide +# scope for machine dependent additions. + +procedure allocate (device) + +string device { prompt = "device to be allocated" } + +begin + _allocate (device) +end |