# HG changeset patch
# User Jeremy Thurgood <firxen@gmail.com>
# Date 1283001087 -7200
# Node ID 7147369cee59d84feaea50db9e2a9ac7b00aa9ab
# Parent  6a75627279648f7acc20568e374d87228f714fcf
Include tools in build.

diff -r 6a7562727964 -r 7147369cee59 scripts/build_unix.sh
--- a/scripts/build_unix.sh	Sat Aug 28 15:03:25 2010 +0200
+++ b/scripts/build_unix.sh	Sat Aug 28 15:11:27 2010 +0200
@@ -10,7 +10,7 @@
 rm -rf ${BUILD_FOLDER}
 mkdir -p ${BUILD_FOLDER} dist
 
-cp -r COPYING README.txt run_game.py setup.py docs gamelib Resources ${BUILD_FOLDER}/
+cp -r COPYING README.txt run_game.py setup.py docs tools gamelib Resources ${BUILD_FOLDER}/
 
 cd build