Update bootstrap sources.

This commit is contained in:
David Brown 2016-07-19 15:37:07 +01:00
parent afb70fa178
commit d6acf11700
211 changed files with 432 additions and 377 deletions

View file

@ -14,8 +14,8 @@
changes="0"
for f in $1/*; do
fn=$(basename $f)
egrep -v "(^/\* voc )|Configuration_|__MOVE.* cmd, " $f >$fn.old
egrep -v "(^/\* voc )|Configuration_|__MOVE.* cmd, " $fn >$fn.new
egrep -v "(^/\* voc )|Configuration_|__MOVE.* cmd, |OPM_(IntSize|PointerSize|Alignment) =" $f >$fn.old
egrep -v "(^/\* voc )|Configuration_|__MOVE.* cmd, |OPM_(IntSize|PointerSize|Alignment) =" $fn >$fn.new
if ! diff -U 2 -b $fn.old $fn.new >$fn.diff; then
echo ""
echo ""