From fa080de7afc95aa1c19a6e6fc0e0708ced2eadc4 Mon Sep 17 00:00:00 2001
From: Joseph Hunkeler <jhunkeler@gmail.com>
Date: Wed, 8 Jul 2015 20:46:52 -0400
Subject: Initial commit

---
 unix/hlib/deallocate.cl | 12 ++++++++++++
 1 file changed, 12 insertions(+)
 create mode 100644 unix/hlib/deallocate.cl

(limited to 'unix/hlib/deallocate.cl')

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
-- 
cgit