diff options
Diffstat (limited to 'development/menhir/menhir.SlackBuild')
| -rw-r--r-- | development/menhir/menhir.SlackBuild | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/development/menhir/menhir.SlackBuild b/development/menhir/menhir.SlackBuild index 26b09df80b..65f9ebf055 100644 --- a/development/menhir/menhir.SlackBuild +++ b/development/menhir/menhir.SlackBuild @@ -23,7 +23,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=menhir -VERSION=${VERSION:-20160526} +VERSION=${VERSION:-20160825} BUILD=${BUILD:-1} TAG=${TAG:-_SBo} @@ -58,7 +58,7 @@ set -e # Fixed already installed menhirlib from findlib # This is needed for reinstallation/upgrade process -cd /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ +cd /usr/lib${LIBDIRSUFFIX}/ocaml/site-lib/ rm -rf menhirLib rm -rf $PKG |