diff --git a/.gitignore b/.gitignore index 4cf1d8d..19945e0 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1,3 @@ build *.txt +script diff --git a/configure b/configure index bfa4898..b6aa48f 100755 --- a/configure +++ b/configure @@ -201,7 +201,7 @@ if ! test $src; then echo "error: target makefile ($src) does not exist !" >&2 exit 1 fi -[ $dst ] && [ "$(readlink $dst)" == $src ] && rm $dst +[ -e "$dst" ] && [ "$(readlink $dst)" = "$src" ] && rm $dst ln -s $src $dst diff --git a/make/Makefile.default b/make/Makefile.default index eaee5f7..0eeb66e 100644 --- a/make/Makefile.default +++ b/make/Makefile.default @@ -35,7 +35,7 @@ #--- MAJOR := 0 MINOR := 3 -PATCH := 1 +PATCH := 2 EXTRAVERSION :=