#!/bin/sh -e # Parallel make isn't supported yet. export MAKEFLAGS=` echo $MAKEFLAGS | cut -b 1,2,3 | sed s/[0-9]/1/g` make PLATFORM=linux PREFIX="$1" make PLATFORM=linux PREFIX="$1" install