#!/bin/bash

DTBO_PATCHED=/usr/local/share/industrialshields/overlays
DTBO_SYSTEM=/boot/overlays

REBOOT=false

for file in $(find ${DTBO_PATCHED} -type f); do
	diff ${file} ${DTBO_SYSTEM}/$(basename ${file})
	if [ $? -ne 0 ]; then
		cp ${file} ${DTBO_SYSTEM}
		sync
		# Check copy
		diff ${file} ${DTBO_SYSTEM}/$(basename ${file})
		if [ $? -eq 0 ]; then
			REBOOT=true	
		fi
	fi
done

${REBOOT} && reboot
exit 0