branch | noai |
changeset 9723 | eee46cb39750 |
parent 9628 | b5c2449616b5 |
child 9724 | b39bc69bb2f2 |
--- a/configure Fri Nov 23 16:59:30 2007 +0000 +++ b/configure Wed Jan 09 18:11:12 2008 +0000 @@ -31,7 +31,7 @@ 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