diff options
| author | Andre Barboza <bmg.andre@gmail.com> | 2016-10-06 06:45:21 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2016-10-07 06:29:59 +0700 |
| commit | 02c461e703e3a1cbbed0eeb149de60109abf0d3d (patch) | |
| tree | 7c7a3232f5475bd2b58acccb8659eb695f9bdc4c /development/monodevelop/srcpkg | |
| parent | cdee7750e61c488418b6135f14c29039949dd52e (diff) | |
development/monodevelop: Updated for version 6.1.1.15.
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'development/monodevelop/srcpkg')
| -rw-r--r-- | development/monodevelop/srcpkg/makepkg.sh | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/development/monodevelop/srcpkg/makepkg.sh b/development/monodevelop/srcpkg/makepkg.sh index b5067e9bed0a5..4845cb565d20d 100644 --- a/development/monodevelop/srcpkg/makepkg.sh +++ b/development/monodevelop/srcpkg/makepkg.sh @@ -20,7 +20,7 @@ # ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. PRGNAM=monodevelop -VERSION=${VERSION:-6.0.2.73} +VERSION=${VERSION:-6.1.1.15} CWD=$(pwd) TMP=${TMP:-/tmp/SBo/sources} @@ -68,6 +68,10 @@ pushd main done popd #$top_dir done + + pushd external/fsharpbinding + mono .paket/paket.bootstrapper.exe + popd popd #main cd $TMP |