2023-06-03 16:05:27 +02:00
|
|
|
#!/bin/bash
|
2023-08-15 15:34:15 +02:00
|
|
|
SCRIPTDIR=$( cd -- "$( dirname -- "${BASH_SOURCE[0]}" )" &> /dev/null && pwd )
|
2023-07-26 16:42:21 +02:00
|
|
|
WD=`pwd`
|
|
|
|
|
|
|
|
|
|
# run the build php script
|
2023-08-15 15:34:15 +02:00
|
|
|
php ${SCRIPTDIR}/build.php $@
|
2023-07-26 16:42:21 +02:00
|
|
|
|
|
|
|
|
# return to the working directory
|
|
|
|
|
cd $WD
|
