 +	done
 +	if [ -z "$(MULTISUBDIR)" ]; then \
 +	 mkdir $(DESTDIR)$(tooldir)/include/enclave/; \
-+   $(INSTALL_DATA) $(srcdir)/enclave_syscalls.h $(DESTDIR)$(tooldir)/include/enclave/enclave_syscalls.h || exit $$?; \
++	 $(INSTALL_DATA) $(srcdir)/enclave_syscalls.h $(DESTDIR)$(tooldir)/include/enclave/enclave_syscalls.h || exit $$?; \
 +	else true; fi
 +
 +info:

+
+void _exit(int rc)
+{
+  return enclave_exit(rc);
+}
+
+int _close(int fildes)

+GCC_LDFLAGS = `if [ -d ${objroot}/../gcc ] ; \
+	then echo -L${objroot}/../gcc ; fi`
+
+OUTPUTS = libenclave.a libpthread.a
+SPECS = ${srcdir}/enclave.specs
+
+# Host specific makefile fragment comes in here.
