2008-08-28 19:10:29 -07:00
|
|
|
#!/bin/bash
|
|
|
|
|
2008-08-28 21:42:18 -07:00
|
|
|
# System Bison executable
|
|
|
|
SYS_BISON="bison"
|
|
|
|
# Local Warzone Bison executable (relative to macosx/)
|
|
|
|
LOCAL_BISON="`pwd`/external/bison/built/bin/bison"
|
2008-08-28 19:10:29 -07:00
|
|
|
|
|
|
|
# If a Warzone Bison executable exists, use instead of the system executable
|
|
|
|
if [ -e $LOCAL_BISON ]; then
|
|
|
|
$LOCAL_BISON $*
|
|
|
|
else
|
|
|
|
$SYS_BISON $*
|
|
|
|
fi
|