Use dist_noinst_SCRIPTS for ohbuild.sh instead of SOURCES
Authored by: Jean-Francois Dockes 2017-03-22
Parent(s): [0dd440]
Child(ren): [038a7a][6efb86][f4cf98]
