am 728d495f: Merge "ART change: Script is using function(), which is bash specific."
am 728d495f: Merge "ART change: Script is using function(), which is bash specific."

* commit '728d495f8536dc622f5b5b6772a8c0adec05d381':
  ART change: Script is using function(), which is bash specific.

treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst,treadstoneproject/artinst