Skip to content
Snippets Groups Projects
Commit c2bf17cc authored by Loïc Correnson's avatar Loïc Correnson Committed by Andre Maroneze
Browse files

[wp/alt-ergo] fix install for ArcTrigo

parent 92bc0b33
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/wp/share/Makefile.resources
+ 0
− 1
View file @ c2bf17cc
...@@ -27,7 +27,6 @@ ...@@ -27,7 +27,6 @@
## Used in share/why3 ## Used in share/why3
WHY3_LIBS_CEA:= \ WHY3_LIBS_CEA:= \
ArcTrigo.mlw \
cbits.mlw \ cbits.mlw \
cint.mlw \ cint.mlw \
cfloat.mlw \ cfloat.mlw \
......
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