diff options
| author | Joseph Hunkeler <jhunkeler@gmail.com> | 2015-07-08 20:46:52 -0400 |
|---|---|---|
| committer | Joseph Hunkeler <jhunkeler@gmail.com> | 2015-07-08 20:46:52 -0400 |
| commit | fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 (patch) | |
| tree | bdda434976bc09c864f2e4fa6f16ba1952b1e555 /unix/hlib/deallocate.cl | |
| download | iraf-linux-fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4.tar.gz | |
Initial commit
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 |