configure
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