Don't pass (unnecessary?) -L flags to gcc -shared from opttoplevel#1363
Merged
mshinwell merged 2 commits intoocaml-flambda:mainfrom Jun 8, 2023
Commits
Commits on May 18, 2023
Commits on May 19, 2023
- committed
gcc -shared from opttoplevel#1363