Commit 6a4799b8 authored by Maxime Perrotin's avatar Maxime Perrotin
Browse files

Detect WSL environment when running GUIs

parent b33bca39
......@@ -139,6 +139,9 @@ run_@_Name_@_binary:
@@IF@@ @_Block_Languages_@ = GUI
@@-- if host is running in WSL2, it is not possible to have a persistent
@@-- sysctl change for message queue sizes. It must be done each time:
uname -a | grep WSL && sudo sysctl fs.mqueue.msg_max=100
cd ../binaries && ./@_Block_Names_@
# When GUI exits, kill the binary (-INT to allow coverage collection)
pkill -INT @_Name_@
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment