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/allocate.cl | 11 +++++++++++
 1 file changed, 11 insertions(+)
 create mode 100644 unix/hlib/allocate.cl

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

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