Fix Linux build

okTurtles · Jan 21, 2023 · ad38803 · ad38803
1 parent 7d70385
commit ad38803
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/quickjs/dune b/src/quickjs/dune
@@ -56,7 +56,7 @@
   (targets libomp.a)
   (action (bash "
     cp /usr/local/Cellar/libomp/14.0.6/lib/libomp.a . &> /dev/null \
-    || cp /usr/lib/libgomp.a .
+    || cp /usr/lib/libgomp.a libomp.a
   "))
   (mode standard)
 )