equal
deleted
inserted
replaced
29 SRC_DIR="$ROOT_DIR/src" |
29 SRC_DIR="$ROOT_DIR/src" |
30 LANG_DIR="$SRC_DIR/lang" |
30 LANG_DIR="$SRC_DIR/lang" |
31 MEDIA_DIR="$ROOT_DIR/media" |
31 MEDIA_DIR="$ROOT_DIR/media" |
32 SOURCE_LIST="$ROOT_DIR/source.list" |
32 SOURCE_LIST="$ROOT_DIR/source.list" |
33 |
33 |
34 if [ "$1" = "--reconfig" ]; then |
34 if [ "$1" = "--reconfig" ] || [ "$1" = "--reconfigure" ]; then |
35 if ! [ -f "config.cache" ]; then |
35 if ! [ -f "config.cache" ]; then |
36 echo "can't reconfigure, because never configured before" |
36 echo "can't reconfigure, because never configured before" |
37 exit 1 |
37 exit 1 |
38 fi |
38 fi |
39 # Make sure we don't lock config.cache |
39 # Make sure we don't lock config.cache |