configure
branchnoai
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