vscode-extensions.ms-vscode.cpptools: use mono 5 (#49489)

This commit is contained in:
Edmund Wu 2018-10-30 17:18:05 -04:00 committed by xeji
parent 0c1ee96a89
commit f8ef8bf469

View File

@ -1,4 +1,4 @@
{ stdenv, fetchzip, vscode-utils, jq, mono46, clang-tools, writeScript { stdenv, fetchzip, vscode-utils, jq, mono, clang-tools, writeScript
, gdbUseFixed ? true, gdb # The gdb default setting will be fixed to specified. Use version from `PATH` otherwise. , gdbUseFixed ? true, gdb # The gdb default setting will be fixed to specified. Use version from `PATH` otherwise.
}: }:
@ -59,7 +59,7 @@ let
export PATH=''${PATH}''${PATH:+:}${gdb}/bin export PATH=''${PATH}''${PATH:+:}${gdb}/bin
'' ''
else ""} else ""}
${mono46}/bin/mono $BIN_DIR/bin/OpenDebugAD7.exe $* ${mono}/bin/mono $BIN_DIR/bin/OpenDebugAD7.exe $*
''; '';
in in