Introduce HOST_AS_FLAGS
Correct command line option to select ARM float-abi=hard
Merge commit 'a02b68035118804d08bab7257e383cf0dece2154' into host-as-flags.2
Merge branch 'master' into host-as-flags.2
Avoid negative results when converting floating point to unsigned
Merge branch 'master' into host-as-flags.2
Merge pull request #35 from pocl/host-as-flags.2

Host as flags.2