Ticket #45739: runpsl.in

File runpsl.in, 219 bytes (added by mbrethen, 10 years ago)
Line 
1#! /bin/sh
2
3case `uname -m` in
4i*)
5      STORE=16000000
6      ;;
7x86_64)
8      STORE=1000
9      ;;
10esac
11
12bin="@LIBEXECDIR@/pslbuild/psl/bpsl"
13img="@LIBEXECDIR@/pslbuild/red/reduce.img"
14
15exec $bin -td $STORE -f $img $*
16