Ticket #57772: runpsl.sh

File runpsl.sh, 277 bytes (added by mbrethen, 6 years ago)
Line 
1#! /bin/sh
2
3case `uname -m` in
4i*)
5      STORE=16000000
6      ;;
7x86_64)
8      STORE=1000
9      ;;
10esac
11
12MYDIR=`dirname $0`
13export MYDIR
14PSLDIR="$(cd $MYDIR/../libexec/reduce/psl && pwd -P)"
15bin="$PSLDIR/psl/bpsl"
16img="$PSLDIR/red/reduce.img"
17
18exec $bin -td $STORE -f $img $@
19