Apply change originally applied by DWD:

Remove generation of files in libc/sysdeps/linux

This fixes the build by not building target dependent assembly files
(e.g. crtn.o) which are not needed by KLEE. This also disables building
of the system calls in libc/sysdeps/linux/common/*.c .

This really isn't a very good approach. We should consider implementing
a KLEE target in libc/sysdeps/linux so we can call into KLEE's model and
avoid some of the horrible hacks in klee-uclibc.

libc/Makefile.in

@@ -23,7 +23,8 @@ LIBS-libc.so := $(interp) $(ldso) $(top_builddir)lib/$(NONSHARED_LIBNAME)
 libc_FULL_NAME := libuClibc-$(VERSION).so
 
 # this comes first, so duplicate removal works correctly
-include $(libc_DIR)/sysdeps/Makefile.in
+# Added by DWD: Disable generation of system dependent assembly files like crtn.o
+#include $(libc_DIR)/sysdeps/Makefile.in
 
 include $(libc_DIR)/misc/Makefile.in
 include $(libc_DIR)/pwd_grp/Makefile.in