fix for missing 'others' directory
This commit is contained in:
parent
570a49164e
commit
2cfb985441
|
@ -75,6 +75,12 @@ mkdir -p "$RELEASEDIR/tutorials/"
|
|||
cd "$RELEASEDIR/tutorials/"
|
||||
git archive --remote ${REPODIR}/data/glest_game/ HEAD:tutorials | tar x
|
||||
|
||||
echo "Exporting files from 'others' directory ..."
|
||||
cd "$RELEASEDIR"
|
||||
mkdir -p "$RELEASEDIR/others/"
|
||||
cd "$RELEASEDIR/others/"
|
||||
git archive --remote ${REPODIR}/data/glest_game/ HEAD:others | tar x
|
||||
|
||||
echo "Removing non required files ..."
|
||||
cd "$CURRENTDIR"
|
||||
# START
|
||||
|
|
|
@ -32,7 +32,7 @@ LANG=C
|
|||
trap "kill -- -$$" HUP INT QUIT TERM EXIT
|
||||
|
||||
KERNEL="$(uname -s | tr '[A-Z]' '[a-z]')"
|
||||
if [ "$(echo "$(readlink -f "$0" >/dev/null 2>&1; echo $?)" | grep '^[0-9]$')" -eq "0" ]; then
|
||||
if [ "$KERNEL" = "linux" ] || [ "$(echo "$(readlink -f "$0" >/dev/null 2>&1; echo $?)" | grep '^[0-9]$')" -eq "0" ]; then
|
||||
GAMEDIR="$(dirname "$(readlink -f "$0")")"
|
||||
else
|
||||
GAMEDIR="$(cd "$(dirname "$0")"; pwd)"
|
||||
|
|
Loading…
Reference in New Issue