diff options
Diffstat (limited to 'development/monodevelop/srcpkg/makepkg.sh')
| -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 b5067e9bed..4845cb565d 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 |