1 files changed, 3 insertions, 0 deletions

diff --git a/Makefile b/Makefile
index 1c67c488..1311dab7 100644
--- a/Makefile
+++ b/Makefile
@@ -296,6 +296,9 @@ y.tab.c: $(top_srcdir)parser.y
 	    false ;                                             \
 	  fi)
 
+%.shipped: $(top_srcdir)%
+	$(call SH,[ $^ -nt $@ ] && cp $^ $@)
+
 else
 
 %: $(top_srcdir)%.shipped