--- a/makelib/config-linux-gnu.make Sun Apr 01 22:57:15 2018 +0100
+++ b/makelib/config-linux-gnu.make Sun Apr 01 23:03:45 2018 +0100
@@ -47,18 +47,6 @@
STC_LEXLIB=-lfl
-
-
-FFI_ARCH=x86
-FFI_CFLAGS=
-FFI_DIR=libffi-3.0.10rc8
-FFI_OBJS=$(FFI_DIR)/build/src/*.o $(FFI_DIR)/build/src/x86/*.o
-OPTIONAL_HAVE_FFI_ARG=-DHAVE_FFI -I$(TOP)/librun/$(FFI_DIR)/build/include
-OPTIONAL_FFI_TARGET_IN_LIBRUN=ffi
-FFI_CC="gcc -m32"
-FFI_LD='ld -m elf_i386'
-
-
#
# use static librt for clock_gettime().
# dynamic librt causes libpthread to be loaded that does not