changeset 8576 | e11e6355f53c |
parent 7790 | 73f48009ce0c |
child 8785 | 6b55b86eeff8 |
--- a/configure Sat Dec 15 22:05:02 2007 +0000 +++ b/configure Sat Dec 15 22:42:12 2007 +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