ethz-asl/ethzasl_ptam — pull request #24 by kidovate (2013-07-15 20:05:41+00:00)
Title: Minor fixes

Hi,

I had a couple of minor errors in my syntax for the ARM conditionals. The conditionals will work on /bin/bash but not /bin/sh - I have fixed the issue.

Christian