configure
changeset 9758 411958cd652d
parent 9686 522d788d73f7
child 9962 f23744f8873c
--- a/configure	Thu Jul 31 14:00:01 2008 +0000
+++ b/configure	Thu Jul 31 14:32:35 2008 +0000
@@ -32,7 +32,7 @@
 SOURCE_LIST="$ROOT_DIR/source.list"
 
 if [ "$1" = "--reconfig" ] || [ "$1" = "--reconfigure" ]; then
-	if ! [ -f "config.cache" ]; then
+	if [ ! -f "config.cache" ]; then
 		echo "can't reconfigure, because never configured before"
 		exit 1
 	fi
@@ -43,7 +43,9 @@
 	exit $?
 fi
 
-export SHOW_HELP="0"
+# 'export SHOW_HELP="0"' doesn't work on some systems
+SHOW_HELP="0"
+export SHOW_HELP
 
 set_default
 detect_params "$@"
@@ -70,7 +72,7 @@
 	PIPE_SORT="$sort"
 fi
 
-if ! [ -f "$LANG_DIR/english.txt" ]; then
+if [ ! -f "$LANG_DIR/english.txt" ]; then
 	echo "Languages not found in $LANG_DIR. Can't continue without it."
 	echo "Please make sure the dir exists and contains at least english.txt"
 fi