# HG changeset patch
# User jwe
# Date 774890817 0
# Node ID 9d18b9b9f44960670794f59a1fccc5b6f83928a0
# Parent  40fef5ae9748e2748884ed8e699931e48e6785f5
[project @ 1994-07-22 15:26:57 by jwe]

diff -r 40fef5ae9748 -r 9d18b9b9f449 src/Makefile.in
--- a/src/Makefile.in	Fri Jul 22 14:51:11 1994 +0000
+++ b/src/Makefile.in	Fri Jul 22 15:26:57 1994 +0000
@@ -123,7 +123,7 @@
 	@$(srcdir)/mkbuiltins $(DEF_FILES) > $@.tmp
 	@$(top_srcdir)/move-if-change $@.tmp $@
 
-$(DEF_FILES): mkdefs
+$(DEF_FILES): mkdefs defun-int.h defun-dld.h defun.h
 
 check: all
 .PHONY: check