diff options
author | Gregory Nutt <gnutt@nuttx.org> | 2014-10-08 20:17:18 -0600 |
---|---|---|
committer | Gregory Nutt <gnutt@nuttx.org> | 2014-10-08 20:17:18 -0600 |
commit | df9d928f7ba7c2784a1864d1be0e1f234a3d9c73 (patch) | |
tree | 1e9111ab1703edbf5e3ef48f9717a6b2ab15b29c /nuttx/Makefile.unix | |
parent | 9ba2bbe3ec4acca7c0705ceb4cca65b0399ec1e5 (diff) | |
download | px4-nuttx-df9d928f7ba7c2784a1864d1be0e1f234a3d9c73.tar.gz px4-nuttx-df9d928f7ba7c2784a1864d1be0e1f234a3d9c73.tar.bz2 px4-nuttx-df9d928f7ba7c2784a1864d1be0e1f234a3d9c73.zip |
Fix a naming problem (actally a cut'n'paste problem)
Diffstat (limited to 'nuttx/Makefile.unix')
0 files changed, 0 insertions, 0 deletions