diff options
Diffstat (limited to 'unix/hlib/deallocate.cl')
| -rw-r--r-- | unix/hlib/deallocate.cl | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/unix/hlib/deallocate.cl b/unix/hlib/deallocate.cl new file mode 100644 index 00000000..564d57be --- /dev/null +++ b/unix/hlib/deallocate.cl @@ -0,0 +1,12 @@ +# DEALLOCATE -- Deallocate a device. The real work is done by the hidden CL +# _deallocate task, but we provide a script interface as well to provide +# scope for machine dependent additions. + +procedure deallocate (device) + +string device { prompt = "device to be deallocated" } +bool rewind = yes + +begin + _deallocate (device, rewind) +end |