mirror of
https://github.com/paparazzi/paparazzi.git
synced 2026-05-09 22:49:53 +08:00
Felix Ruess
317dd81760
seems like #865 didn't work with sed version on OSX after all... So just use gnu sed on osx and the documented gnu sed -r option instead of -E Also add a check if the extraced google version is actually a valid integer number..
