You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Is your feature request related to a problem? Please describe.
Thank you for your extension. In some of my project I use a Makefile to determine flags and output files, and in a few cases I have a target for running the code.
Describe the solution you'd like
Please add a configuration option that calls make instead of gcc. If possible, please add the make targets for building and running the code.
Describe alternatives you've considered
Changing the executable is not enough because it would add the source file as an argument, which make does not support. Using the native vscode extensions for Makefile also don't work because I'm using this extension in code-server, which cannot use MS native extensions.
The text was updated successfully, but these errors were encountered:
Is your feature request related to a problem? Please describe.
Thank you for your extension. In some of my project I use a Makefile to determine flags and output files, and in a few cases I have a target for running the code.
Describe the solution you'd like
Please add a configuration option that calls
make
instead ofgcc
. If possible, please add the make targets for building and running the code.Describe alternatives you've considered
Changing the executable is not enough because it would add the source file as an argument, which
make
does not support. Using the native vscode extensions for Makefile also don't work because I'm using this extension in code-server, which cannot use MS native extensions.The text was updated successfully, but these errors were encountered: