1 files changed, 4 insertions, 0 deletions

diff --git a/redcsl b/redcsl
new file mode 100755
index 000000000000..6ba46442a034
--- /dev/null
+++ b/redcsl
@@ -0,0 +1,4 @@
+#! /bin/sh
+
+exec /usr/lib/reduce/cslbuild/csl/reduce $*
+