From 9174b0033334de9d81901dfb33a8434b43e2cbe2 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Sun, 19 Feb 2017 07:52:32 +0100
Subject: [PATCH] Run ICHECK after full dump, to set the dumped bit on all
 files.

---
 build/build.tcl | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/build/build.tcl b/build/build.tcl
index f04bd7b1..406d35e8 100644
--- a/build/build.tcl
+++ b/build/build.tcl
@@ -1389,6 +1389,9 @@ type ":dump\r"
 respond "_" "dump links full\r"
 respond "TAPE NO=" "0\r"
 expect "REEL"
+respond "_" "rewind\r"
+respond "_" "icheck\r"
+respond "=" "\r"
 respond "_" "quit\r"
 
 shutdown