Removed apparently dead code. What was that TARGET_UPDATE_SCRIPT defined for ?

2018-01-18, Edouard Tisserant