diff options
Diffstat (limited to 'Makefile.def')
-rw-r--r-- | Makefile.def | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/Makefile.def b/Makefile.def index 4b9f757f586..062d2fb3e75 100644 --- a/Makefile.def +++ b/Makefile.def @@ -137,9 +137,6 @@ target_modules = { module= libsanitizer; bootstrap=true; lib_path=.libs; raw_cxx=true; }; -target_modules = { module= libmpx; - bootstrap=true; - lib_path=.libs; }; target_modules = { module= libvtv; bootstrap=true; lib_path=.libs; |