diff --git a/rebuild.sh b/rebuild.sh index bcbdb58..42767ee 100755 --- a/rebuild.sh +++ b/rebuild.sh @@ -65,7 +65,7 @@ build_package() { local special_handling local no_pull local install_as - local makepkg_args="-srLc --noconfirm --needed" + local makepkg_args="-srLcCf --noconfirm" while (( $# )) do @@ -75,6 +75,7 @@ build_package() { shift cd higan + make clean make -j12 make install ;; @@ -112,7 +113,6 @@ build_package() { makepkg_args="$makepkg_args -i" fi - local o_pkgver=$(pkg_ver) local pkgver makepkg $makepkg_args @@ -121,12 +121,8 @@ build_package() { if (( $res )) then - pkgver=$(pkg_ver) - if [[ ! $install_as ]] || [[ ! $pkgver == $o_pkgver ]] - then - echo "error in rebuild, aborting" - exit $res - fi + echo "error in rebuild, aborting" + exit $res fi if [[ $install_as ]]