mirror of
https://git.freebsd.org/ports.git
synced 2025-06-21 04:30:37 -04:00
c846c14451
- Add option to build PSL version (amd64 only). PR: 199910 Submitted by: Pedro F. Giffuni <pfg@FreeBSD.org>
13 lines
188 B
Bash
13 lines
188 B
Bash
#! /bin/sh
|
|
|
|
case `uname -m` in
|
|
amd64)
|
|
STORE=2000
|
|
;;
|
|
esac
|
|
|
|
bin="/usr/local/share/reduce/psl/bpsl"
|
|
img="/usr/local/share/reduce/red/reduce.img"
|
|
|
|
exec $bin -td $STORE -f $img $*
|
|
|