diff --git a/dll/dune b/dll/dune index b9f5815..39822e8 100755 --- a/dll/dune +++ b/dll/dune @@ -1,7 +1,9 @@ (executable (name tst) (libraries tst_stub) - (modes shared_object)) + (modes shared_object) + (link_flags :standard -cclib -link -cclib -static-libgcc) +) (alias (name install)