diff options
author | wangjiezhe | 2015-12-21 17:02:42 +0800 |
---|---|---|
committer | wangjiezhe | 2015-12-21 17:02:42 +0800 |
commit | 713f48d4e4e6ddc532d9ec58626cca12beb14f7f (patch) | |
tree | 9b3ce0d4da1ae0eca2225e3a060e0fd61bc56024 /redpsl | |
download | aur-713f48d4e4e6ddc532d9ec58626cca12beb14f7f.tar.gz |
Initial import
Diffstat (limited to 'redpsl')
-rwxr-xr-x | redpsl | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/redpsl b/redpsl new file mode 100755 index 000000000000..0589336486ce --- /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 $* + |