diff options
author | Alexey Neyman <stilor@att.net> | 2018-11-28 08:11:51 (GMT) |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-11-28 08:11:51 (GMT) |
commit | 951afda5088f202eead14e3ae281f234b160af0b (patch) | |
tree | 6b6b9c42514e17755654a07de8c95f1fef7aeb4c /maintainer/create-release.sh | |
parent | 5256e4768fde1bf20ffa459f5d4bd576c99ac375 (diff) | |
parent | 3834a7b46918ac5f3a60cc2c602247794f8c9d61 (diff) |
Merge pull request #1101 from stilor/install-fixes
Install fixes
Diffstat (limited to 'maintainer/create-release.sh')
-rwxr-xr-x | maintainer/create-release.sh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/maintainer/create-release.sh b/maintainer/create-release.sh index ae6e8ec..7daec6a 100755 --- a/maintainer/create-release.sh +++ b/maintainer/create-release.sh @@ -8,6 +8,7 @@ if [ -z "${topdir}" ]; then do_abort "Not in the Git clone" fi cd "${topdir}" +git clean -fxdq ./bootstrap ./configure --enable-local make dist-create-release |