diff --git a/src/Makefile.in b/src/Makefile.in
index 0fb51a2db2437bb67f1136ccd383022b04622417..12ac239c0c85c5049d064f4ef09dd6b7950dd9e7 100644
--- a/src/Makefile.in
+++ b/src/Makefile.in
@@ -1,5 +1,5 @@
 #
-# $Id: Makefile.in,v 1.133 1999/03/20 02:31:54 grubba Exp $
+# $Id: Makefile.in,v 1.134 1999/03/20 03:10:33 grubba Exp $
 #
 
 # This line is needed on some machines.
@@ -503,6 +503,8 @@ $(SRCDIR)/case_info.h: $(SRCDIR)/UnicodeData.txt $(TMP_BINDIR)/make_ci.pike
 	@if $(RUNPIKE) $(TMP_BINDIR)/make_ci.pike <$(SRCDIR)/UnicodeData.txt; \
 	then :; else echo '#include "dummy_ci.h"'; fi >$(SRCDIR)/case_info.h
 
+builtin_functions.o: $(SRCDIR)/case_info.h
+
 # make dependencies
 depend: $(SRCDIR)/language.c
 	gcc -MM $(PREFLAGS) $(SRCDIR)/*.c | $(TMP_BINDIR)/fixdepends.sh $(SRCDIR)