diff options
author | rubidium <rubidium@openttd.org> | 2007-12-15 22:42:12 +0000 |
---|---|---|
committer | rubidium <rubidium@openttd.org> | 2007-12-15 22:42:12 +0000 |
commit | cbcfcb3bf4fe5e438598859ec71bfb28bf391f09 (patch) | |
tree | 77b4230910ad2425bed55b0b84f5d4e999dce585 /configure | |
parent | 214d25905adc4464fb2db5d3b9a6dc87e1726334 (diff) | |
download | openttd-cbcfcb3bf4fe5e438598859ec71bfb28bf391f09.tar.xz |
(svn r11641) -Add: configure time parameter to enable some desync debugging functionality.
Diffstat (limited to 'configure')
-rwxr-xr-x | configure | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -31,7 +31,7 @@ LANG_DIR="$SRC_DIR/lang" MEDIA_DIR="$ROOT_DIR/media" SOURCE_LIST="$ROOT_DIR/source.list" -if [ "$1" = "--reconfig" ]; then +if [ "$1" = "--reconfig" ] || [ "$1" = "--reconfigure" ]; then if ! [ -f "config.cache" ]; then echo "can't reconfigure, because never configured before" exit 1 |