summarylogtreecommitdiffstats
path: root/redpsl
diff options
context:
space:
mode:
authorwangjiezhe2015-12-21 17:02:42 +0800
committerwangjiezhe2015-12-21 17:02:42 +0800
commit713f48d4e4e6ddc532d9ec58626cca12beb14f7f (patch)
tree9b3ce0d4da1ae0eca2225e3a060e0fd61bc56024 /redpsl
downloadaur-713f48d4e4e6ddc532d9ec58626cca12beb14f7f.tar.gz
Initial import
Diffstat (limited to 'redpsl')
-rwxr-xr-xredpsl16
1 files changed, 16 insertions, 0 deletions
diff --git a/redpsl b/redpsl
new file mode 100755
index 00000000000..0589336486c
--- /dev/null
+++ b/redpsl
@@ -0,0 +1,16 @@
+#! /bin/sh
+
+case `uname -m` in
+i*)
+ STORE=16000000
+ ;;
+x86_64)
+ STORE=1000
+ ;;
+esac
+
+bin="/usr/lib/reduce/pslbuild/psl/bpsl"
+img="/usr/lib/reduce/pslbuild/red/reduce.img"
+
+exec $bin -td $STORE -f $img $*
+