Diff

Differences From Artifact [c30cc4c3b3]:

To Artifact [d0c4a0c4ce]:


     1         -#! /bin/bash
            1  +#! /usr/bin/env bash
     2      2   
     3      3   headers_dir="$1"
     4      4   
     5      5   cd "${headers_dir}" || exit 1
     6      6   
     7      7   # Android header fix-ups
     8      8   ## Do not abort compilation at header include time