aboutsummaryrefslogtreecommitdiff
path: root/math/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'math/Makefile')
-rw-r--r--math/Makefile1
1 files changed, 0 insertions, 1 deletions
diff --git a/math/Makefile b/math/Makefile
index ab0eea7ea373..362bc257f0b9 100644
--- a/math/Makefile
+++ b/math/Makefile
@@ -438,7 +438,6 @@
SUBDIR += ldouble
SUBDIR += lean
SUBDIR += lean4
- SUBDIR += lean4-std
SUBDIR += leangz
SUBDIR += lemon
SUBDIR += levmar