Fixed bug in makefile causing unnecessary remaking of cgrammar.c.

[splint.git] / src / Makefile.sys

diff --git a/src/Makefile.sys b/src/Makefile.sys
index eb601314e85258e141be83c8c6d70b2a8e41c344..564dc7c5bc4cb916198140b494dbcf194c1bb0ef 100644 (file)
--- a/src/Makefile.sys
+++ b/src/Makefile.sys
@@ -76,6 +76,7 @@ RM              = rm -f
 MV              = mv -f
 CP              = cp
 CAT             = cat
+SED            = sed
 
 MAKEDEPEND      = makedepend
 LASTBACKUP      = lastbackup